Update JaCoP version.