Maven集成Checker Framework时annotatedJdk符号解析错误求助

Let's break down the issues in your Maven configuration that are causing the "Cannot resolve symbol" error, then fix them step by step:

Key Problems in Your Current Config #

• Duplicate Maven Compiler Plugins: You have two versions of maven-compiler-plugin (3.6.1 and 3.7.0) in pluginManagement, plus another unconfigured instance in the main plugins section. This causes configuration conflicts, so the Checker Framework annotation processor settings aren't being applied properly.
• Inconsistent Java Versions: Your <properties> set source/target to 1.7, but the compiler plugin config uses 1.8, and the main plugin override uses 8. This mismatch confuses both Maven and IntelliJ.
• Potential annotatedJdk Resolution Issue: While you included the maven-dependency-plugin to resolve the annotated JDK path, the duplicate compiler plugins might prevent this property from being picked up correctly.

Corrected Maven Configuration #

Replace your existing pom.xml configuration with this cleaned-up version:

<properties>
    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
    <!-- Use consistent Java 8 version -->
    <maven.compiler.source>1.8</maven.compiler.source>
    <maven.compiler.target>1.8</maven.compiler.target>
    <checkerframework.version>2.5.1</checkerframework.version>
</properties>

<dependencies>
    <dependency>
        <groupId>org.checkerframework</groupId>
        <artifactId>checker-qual</artifactId>
        <version>${checkerframework.version}</version>
        <scope>compile</scope>
    </dependency>
    <dependency>
        <groupId>org.checkerframework</groupId>
        <artifactId>jdk8</artifactId>
        <version>${checkerframework.version}</version>
        <scope>provided</scope>
    </dependency>
</dependencies>

<build>
    <pluginManagement>
        <plugins>
            <plugin>
                <artifactId>maven-clean-plugin</artifactId>
                <version>3.0.0</version>
            </plugin>
            <plugin>
                <artifactId>maven-resources-plugin</artifactId>
                <version>3.0.2</version>
            </plugin>
            <plugin>
                <groupId>org.apache.maven.plugins</groupId>
                <artifactId>maven-dependency-plugin</artifactId>
                <version>3.1.1</version> <!-- Added explicit version -->
                <executions>
                    <execution>
                        <goals>
                            <goal>properties</goal>
                        </goals>
                    </execution>
                </executions>
            </plugin>
            <plugin>
                <artifactId>maven-surefire-plugin</artifactId>
                <version>2.20.1</version>
            </plugin>
            <plugin>
                <artifactId>maven-jar-plugin</artifactId>
                <version>3.0.2</version>
            </plugin>
            <plugin>
                <artifactId>maven-install-plugin</artifactId>
                <version>2.5.2</version>
            </plugin>
            <plugin>
                <artifactId>maven-deploy-plugin</artifactId>
                <version>2.8.2</version>
            </plugin>
        </plugins>
    </pluginManagement>

    <plugins>
        <plugin>
            <groupId>org.apache.maven.plugins</groupId>
            <artifactId>maven-compiler-plugin</artifactId>
            <version>3.7.0</version> <!-- Use a single consistent version -->
            <configuration>
                <source>${maven.compiler.source}</source>
                <target>${maven.compiler.target}</target>
                <compilerArguments>
                    <Xmaxerrs>10000</Xmaxerrs>
                    <Xmaxwarns>10000</Xmaxwarns>
                </compilerArguments>
                <annotationProcessorPaths>
                    <path>
                        <groupId>org.checkerframework</groupId>
                        <artifactId>checker</artifactId>
                        <version>${checkerframework.version}</version>
                    </path>
                </annotationProcessorPaths>
                <annotationProcessors>
                    <annotationProcessor>org.checkerframework.checker.nullness.NullnessChecker</annotationProcessor>
                </annotationProcessors>
                <compilerArgs>
                    <arg>-AprintErrorStack</arg>
                    <!-- Use the resolved property from dependency plugin -->
                    <arg>-Xbootclasspath/p:${org.checkerframework:jdk8:jar}</arg>
                </compilerArgs>
            </configuration>
        </plugin>
    </plugins>
</build>

Post-Config Steps for IntelliJ #

1. Reload Maven Project: In IntelliJ, click the "Reload All Maven Projects" button (the circular arrow in the Maven tool window) to pick up the new configuration.
2. Enable Annotation Processing: Go to File > Settings > Build, Execution, Deployment > Compiler > Annotation Processors, check "Enable annotation processing" and select "Obtain processors from project classpath".
3. Invalidate Caches: If the error persists, go to File > Invalidate Caches... and select "Invalidate and Restart" to clear any stale IntelliJ cache data.

Why This Works #

• We removed duplicate compiler plugin entries to ensure the Checker Framework settings are applied consistently.
• We standardized the Java version across the entire pom to avoid conflicts.
• We added an explicit version to the maven-dependency-plugin to ensure it resolves the annotatedJdk property correctly.
• We set proper scopes for Checker Framework dependencies (compile for qualifiers, provided for the annotated JDK) to avoid unnecessary packaging.

内容的提问来源于stack exchange，提问作者Ömer