Design-by-contract for Java.