Merge branch 'master' of

4 jobs for master in 34 minutes and 14 seconds (queued for 2 seconds)
Name Stage Failure
java7 Test
215752 [ERROR] 
215752 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
215753 [ERROR]
215753 [ERROR] For more information about the errors and possible solutions, please read the following articles:
215753 [ERROR] [Help 1]
215753 [ERROR]
215753 [ERROR] After correcting the problems, you can resume the build with the command
215753 [ERROR] mvn <goals> -rf :org.ow2.sat4j.core
ERROR: Job failed: exit code 1