a Maven plugin which injects precondition checks into class.