Add missing import statements.

2 jobs for cherry-pick-5d0a981f in 12 minutes and 57 seconds (queued for 13 minutes and 1 second)
latest
Status Job ID Name Coverage
  Build
failed #479
java7

00:01:53

passed #478
java8

00:11:03

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