Modern Jass
Modern Jass implements a new concept to bring Design by Contract. to Java.. Basically, it uses Java 5 annotation to specify contracts, the Pluggable Annotation Processing API to validate contracts, and the Bytecode Instrumentation API to enforce contracts.