DesignByContract contains the bare minimum required to add precondition checks to methods and constructors
'org.injava.lang:DesignByContract:0'
<dependency>
<groupId>org.injava.lang</groupId>
<artifactId>DesignByContract</artifactId>
<version>0</version>
</dependency>
<dependency org="org.injava.lang" name="DesignByContract" rev="0"/>
"org.injava.lang", "DesignByContract", "0"