Update JaCoP to version 4.1.0.