Contracts for Java is a contract programming framework for Java.