Removed deprecated ICDCL.setLearner() and RestartStrategy.nextRestartNumberOfConflict()

2 jobs for master in 39 minutes and 14 seconds (queued for 9 seconds)
Name Stage Failure
failed
maven38-java11-sonar Build
2338662 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
2338663 [ERROR]
2338663 [ERROR] For more information about the errors and possible solutions, please read the following articles:
2338664 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
2338670 [ERROR]
2338670 [ERROR] After correcting the problems, you can resume the build with the command
2338671 [ERROR] mvn <args> -rf :org.ow2.sat4j.pb
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1