contracts - java transformation separation