Issue was #144 ...

4 jobs for master in 2 minutes and 51 seconds (queued for 33 minutes and 17 seconds)
Status Job ID Name Coverage
  Build
passed #4558
jars-j8

00:00:33

failed #4557
java8

00:02:18

 
  Test
skipped #4560
allowed to fail
java10
skipped #4559
java7
 
Name Stage Failure
failed
java8 Build
126026 [ERROR] 
126026 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
126026 [ERROR]
126026 [ERROR] For more information about the errors and possible solutions, please read the following articles:
126027 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
126027 [ERROR]
126027 [ERROR] After correcting the problems, you can resume the build with the command
126027 [ERROR] mvn <goals> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1