jsr305-maven-plugin

a Maven plugin which injects precondition check logics to your classes.