Java Defensive Programming

Use of annotations to specify constraints on methods. There are annotations available to perform common checks (i.e. a parameter has to be not null, an int value has to be positive, etc.) and to use a full-flavoured design by contract in java with suppor