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

6 jobs for master in 195 minutes and 21 seconds (queued for 209 minutes and 38 seconds)
Status Job ID Name Coverage
  Build
passed #23228
jars-j8

00:00:37

passed #23227
java8-sonar

00:55:47

 
  Test
passed #23229
allowed to fail
java7

00:33:46

failed #23231
allowed to fail
maven36-java11

00:37:43

passed #23232
allowed to fail
maven36-java13

00:35:43

passed #23230
allowed to fail
maven36-java8

00:31:42

 
Name Stage Failure
failed
maven36-java11 Test
2240851 [ERROR] 
2240852 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
2240859 [ERROR]
2240859 [ERROR] For more information about the errors and possible solutions, please read the following articles:
2240884 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
2240900 [ERROR]
2240900 [ERROR] After correcting the problems, you can resume the build with the command
2240916 [ERROR] mvn <args> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1