Used Java 1.7 since the library requires it.
Port to the latest version of the Chocosolver.
Merge pull request #2 from JLiangWaterloo/master

Update to the latest chocosolver.