Contracts for Java enables you to annotate your code with contracts in the form of preconditions, postconditions and invariants.
'org.seqdoop:cofoja:1.1-r150'
<dependency>
<groupId>org.seqdoop</groupId>
<artifactId>cofoja</artifactId>
<version>1.1-r150</version>
</dependency>
<dependency org="org.seqdoop" name="cofoja" rev="1.1-r150"/>
"org.seqdoop", "cofoja", "1.1-r150"