Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git

4 jobs for master in 34 minutes and 22 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #4554
jars-j8

00:01:07

passed #4553
java8

00:16:04

 
  Test
failed #4556
allowed to fail
java10

00:03:13

passed #4555
java7

00:13:58

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