contract4j5

ContractJ5 is a "Design by Contract" tool for Java 5+.