Contracts for Java is a contract programming framework for Java.
'io.konverge:cofoja:2.0.0'
<dependency>
<groupId>io.konverge</groupId>
<artifactId>cofoja</artifactId>
<version>2.0.0</version>
</dependency>
<dependency org="io.konverge" name="cofoja" rev="2.0.0"/>
"io.konverge", "cofoja", "2.0.0"