Software Developed by c4j.sourceforge.net
C4J - DBC for Java v.2.7.5
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support.