Package groovy.contracts