"Design By Contract" features for Java