Issue #248: update choco-solver/pom.xml