4.0.0 checker-plugin 1.0-SNAPSHOT checker-plugin jar http://maven.apache.org com.baeldung parent-modules 1.0.0-SNAPSHOT org.checkerframework checker-qual ${checker-qual.version} org.checkerframework checker ${checker.version} org.checkerframework jdk8 ${jdk8.version} org.checkerframework compiler ${checkerframework.compiler.version} maven-compiler-plugin ${maven-compiler-plugin.version} ${java.version} ${java.version} 10000 10000 org.checkerframework.checker.nullness.NullnessChecker org.checkerframework.checker.interning.InterningChecker org.checkerframework.checker.fenum.FenumChecker org.checkerframework.checker.formatter.FormatterChecker org.checkerframework.checker.regex.RegexChecker -AprintErrorStack -Xbootclasspath/p:${annotatedJdk} -Awarns ${org.checkerframework:jdk8:jar} 2.3.1 2.3.1 2.3.1 2.3.1