Fixed ClassNotFoundException for Choco Solver