4.0.0 com.baeldung checker-plugin jar 1.0-SNAPSHOT checker-plugin 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} org.apache.maven.plugins maven-dependency-plugin properties maven-compiler-plugin ${maven-compiler-plugin.version} ${maven.compiler.source} ${maven.compiler.target} 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 1.8 1.8