Maven integration for the JSR308-enabled javac compiler from http://types.cs.washington.edu/checker-framework/