Merge branch 'cherry-pick-d7168eec' into 'master'

this gives a more honest version of 'no division'

See merge request !3
4 jobs for master in 2 minutes and 36 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #864
jars-j8

00:00:31

failed #863
java8

00:02:05

 
  Test
skipped #865
java7
skipped #866
allowed to fail
java9
 
Name Stage Failure
failed
java8 Build There is an unknown failure, please try again
114138 [ERROR] 
114138 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
114138 [ERROR]
114138 [ERROR] For more information about the errors and possible solutions, please read the following articles:
114139 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
114139 [ERROR]
114139 [ERROR] After correcting the problems, you can resume the build with the command
114139 [ERROR] mvn <goals> -rf :org.ow2.sat4j.core
ERROR: Job failed: exit code 1