org.checkerframework:javacutil (maven): javacutil contains utility classes for the javac compiler.
Keywords: java|types|verification