org.checkerframework:checkerframework-maven-plugin (maven):  The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven build. Directions can be found at: http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#maven-plugin 
Keywords: java|types|verification