Java contract. Java contract