contracts for java (cofoja) added