The original source code of Sat4j was Java 1.5 down compiled to 1.4.

The 2.3.6 release will be compatible with Java 7.

As such, new syntactic structures are available (try with resources, multiple exceptions).

We need to take care properly of that.

SonarQube can help us for that.