Contracts for Java