correct name for test file.

5 jobs for master in 30 minutes and 12 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #4562
jars-j8

00:00:33

passed #4565
java8

00:13:13

failed #4561
java8

00:02:07

 
  Test
failed #4564
allowed to fail
java10

00:02:43

passed #4563
java7

00:13:42

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