Make more objects serializable.

6 jobs for ENCAPSULATE_STATISTICS_FIELDS in 45 minutes and 18 seconds (queued for 16 minutes and 4 seconds)
Status Job ID Name Coverage
  Build
passed #8145
jars-j8

00:00:35

passed #8149
java8

00:15:05

failed #8144
java8

00:02:16

 
  Test
failed #8147
allowed to fail
java10

00:02:19

passed #8148
allowed to fail
java11

00:13:34

passed #8146
java7

00:13:42

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