I have a project that uses cofoja 1.1-r150 (and it works well) and I want to migrate it to Java 8 and cofoja 1.2. At first, I installed locally through maven in my repository the cofoja-1.2.jar, and then changed all times I could find in the project cofoja-1.1-r150 with cofoja-1.2.
But now when I compile the project, contract annotations are not recognized and I get the following error messages:
package com.google.java.contract does not exist
package com.google.java.contract.core.agent does not exist
package com.google.java.contract.core.runtime does not exist
Can somebody help me, please? Thanks in advance
Regards,
Joseph