Used Java 1.7 since the library requires it.
Port to the latest version of the Chocosolver.