Maven integration for the JSR-308 javac from http://types.cs.washington.edu/checker-framework/