jdave.contract
Classes 
CloneableContract
EqualsComparableContract
EqualsHashCodeContract
NotContract
SerializableContract