Package JaCoP.util