Do not set the decisionLevel when calling isAssertive.

5 jobs for master in 12 minutes and 21 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #7684
jars-j8

00:00:38

failed #7683
java8

00:11:43

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