One more sonarqube fix.

6 jobs for master in 44 minutes and 46 seconds (queued for 2 minutes and 27 seconds)
Status Job ID Name Coverage
  Build
passed #8081
jars-j8

00:00:39

passed #8080
java8

00:16:22

 
  Test
failed #8083
allowed to fail
java10

00:02:18

passed #8084
java11

00:12:08

passed #8086
java7

00:13:17

failed #8082
java7

00:03:58

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