diff --git a/.github/workflows/build-jdk11.yaml b/.github/workflows/build-jdk11.yaml
deleted file mode 100644
index 59e8167d8f..0000000000
--- a/.github/workflows/build-jdk11.yaml
+++ /dev/null
@@ -1,30 +0,0 @@
-name: Build with JDK 17 and test against JDK 11
-on:
-  pull_request:
-  push:
-    branches: [ master ]
-permissions:
-  contents: read
-jobs:
-  build:
-    runs-on: ubuntu-22.04
-    steps:
-      # We run the build twice: once against the original Error Prone release,
-      # and once against the Picnic Error Prone fork. In both cases the code is
-      # compiled using JDK 17, while the tests are executed using JDK 11.
-      - name: Check out code and set up JDK and Maven
-        uses: s4u/setup-maven-action@fa2c7e4517ed008b1f73e7e0195a9eecf5582cd4 # v1.11.0
-        with:
-          java-version: |
-            11.0.20
-            17.0.8
-          java-distribution: temurin
-          maven-version: 3.9.6
-      - name: Display build environment details
-        run: mvn --version
-      - name: Build project against vanilla Error Prone
-        run: mvn -T1C install -Dsurefire.jdk-toolchain-version=11.0.20
-      - name: Build project with self-check against Error Prone fork
-        run: mvn -T1C clean verify -Perror-prone-fork -Dsurefire.jdk-toolchain-version=11.0.20 -s settings.xml
-      - name: Remove installed project artifacts
-        run: mvn build-helper:remove-project-artifact
diff --git a/README.md b/README.md
index d9504bc996..2d06024f33 100644
--- a/README.md
+++ b/README.md
@@ -233,6 +233,18 @@ Other highly relevant commands:
   against _all_ code in the current working directory. For more information
   check the [PIT Maven plugin][pitest-maven].
 
+When running the project's tests in IntelliJ IDEA, you might see the following
+error:
+
+```
+java: exporting a package from system module jdk.compiler is not allowed with --release
+```
+
+If this happens, go to _Settings -> Build, Execution, Deployment -> Compiler ->
+Java Compiler_ and deselect the option _Use '--release' option for
+cross-compilation (Java 9 and later)_. See [IDEA-288052][idea-288052] for
+details.
+
 ## 💡 How it works
 
 This project provides additional [`BugChecker`][error-prone-bugchecker]
@@ -268,6 +280,7 @@ channel; please see our [security policy][security] for details.
 [github-actions-build-badge]: https://github.com/PicnicSupermarket/error-prone-support/actions/workflows/build.yml/badge.svg
 [github-actions-build-master]: https://github.com/PicnicSupermarket/error-prone-support/actions/workflows/build.yml?query=branch:master&event=push
 [google-java-format]: https://github.com/google/google-java-format
+[idea-288052]: https://youtrack.jetbrains.com/issue/IDEA-288052
 [license-badge]: https://img.shields.io/github/license/PicnicSupermarket/error-prone-support
 [license]: https://github.com/PicnicSupermarket/error-prone-support/blob/master/LICENSE.md
 [maven-central-badge]: https://img.shields.io/maven-central/v/tech.picnic.error-prone-support/error-prone-support?color=blue
diff --git a/pom.xml b/pom.xml
index 4a8ee5b4b3..5031c287c7 100644
--- a/pom.xml
+++ b/pom.xml
@@ -208,10 +208,7 @@
         <version.error-prone-orig>2.24.1</version.error-prone-orig>
         <version.error-prone-slf4j>0.1.22</version.error-prone-slf4j>
         <version.guava-beta-checker>1.0</version.guava-beta-checker>
-        <!-- Though the project targets JDK 11, the code base does use more
-        recent language constructs, thanks to the Jabel compiler plugin. -->
-        <version.jdk.source>17</version.jdk.source>
-        <version.jdk.target>11</version.jdk.target>
+        <version.jdk>17</version.jdk>
         <version.maven>3.8.7</version.maven>
         <version.mockito>5.9.0</version.mockito>
         <version.nopen-checker>1.0.1</version.nopen-checker>
@@ -337,14 +334,6 @@
                 <artifactId>nopen-checker</artifactId>
                 <version>${version.nopen-checker}</version>
             </dependency>
-            <!-- XXX: Use a version 1.0.1+ release with the
-            `com.github.bsideup.jabel` groupId once available. See
-            https://github.com/bsideup/jabel/issues/182. -->
-            <dependency>
-                <groupId>com.pkware.jabel</groupId>
-                <artifactId>jabel-javac-plugin</artifactId>
-                <version>1.0.1-1</version>
-            </dependency>
             <dependency>
                 <groupId>com.uber.nullaway</groupId>
                 <artifactId>nullaway</artifactId>
@@ -603,7 +592,7 @@
                         `provided`, but we'd rather not do that.) -->
                         <failOnMissingClasses>false</failOnMissingClasses>
                         <failOnViolation>false</failOnViolation>
-                        <targetVersion>${version.jdk.target}</targetVersion>
+                        <targetVersion>${version.jdk}</targetVersion>
                     </configuration>
                     <executions>
                         <execution>
@@ -926,10 +915,6 @@
                                 <artifactId>auto-service</artifactId>
                                 <version>${version.auto-service}</version>
                             </path>
-                            <path>
-                                <groupId>com.pkware.jabel</groupId>
-                                <artifactId>jabel-javac-plugin</artifactId>
-                            </path>
                             <path>
                                 <groupId>org.openrewrite</groupId>
                                 <artifactId>rewrite-templating</artifactId>
@@ -950,13 +935,9 @@
                             <arg>10000</arg>
                         </compilerArgs>
                         <parameters>true</parameters>
+                        <source>${version.jdk}</source>
+                        <target>${version.jdk}</target>
                         <showWarnings>false</showWarnings>
-                        <!-- The actual source level is specified by
-                        `version.jdk.source`, but javac requires that `-source`
-                        is not greater than `-target`. Thanks to the Jabel
-                        plugin the code can be compiled anyway. -->
-                        <source>${version.jdk.target}</source>
-                        <target>${version.jdk.target}</target>
                         <!-- Erroneously inverted logic... for details, see
                         https://issues.apache.org/jira/browse/MCOMPILER-209. -->
                         <useIncrementalCompilation>false</useIncrementalCompilation>
@@ -1033,7 +1014,7 @@
                             </banDynamicVersions>
                             <dependencyConvergence />
                             <enforceBytecodeVersion>
-                                <maxJdkVersion>${version.jdk.target}</maxJdkVersion>
+                                <maxJdkVersion>${version.jdk}</maxJdkVersion>
                             </enforceBytecodeVersion>
                             <requireEncoding>
                                 <acceptAsciiSubset>true</acceptAsciiSubset>
@@ -1041,7 +1022,7 @@
                                 <includes>src/main/resources/**/*.properties,src/test/resources/**/*.properties</includes>
                             </requireEncoding>
                             <requireJavaVersion>
-                                <version>${version.jdk.source}</version>
+                                <version>${version.jdk}</version>
                             </requireJavaVersion>
                             <requireMavenVersion>
                                 <version>${version.maven}</version>
@@ -1130,7 +1111,7 @@
                         the compilation phase; no need to recheck during
                         Javadoc generation. -->
                         <doclint>none</doclint>
-                        <source>${version.jdk.source}</source>
+                        <source>${version.jdk}</source>
                     </configuration>
                     <executions>
                         <execution>
@@ -1369,7 +1350,7 @@
                             patterns in their `@BeforeTemplate` methods. -->
                             <ignorePackage>tech.picnic.errorprone.refasterrules</ignorePackage>
                         </ignorePackages>
-                        <javaVersion>${version.jdk.target}</javaVersion>
+                        <javaVersion>${version.jdk}</javaVersion>
                     </configuration>
                     <executions>
                         <execution>
@@ -2000,19 +1981,8 @@
         </profile>
         <profile>
             <id>sonar</id>
-            <activation>
-                <property>
-                    <name>sonar.projectKey</name>
-                </property>
-            </activation>
             <properties>
                 <maven.test.failure.ignore>true</maven.test.failure.ignore>
-                <!-- Normal builds use Jabel to target an older JDK version
-                than any that would normally be supported given the language
-                features used, but this causes Sonar to report parse errors. So
-                for Sonar builds we target a JDK version that is properly
-                compatible with the source code. -->
-                <version.jdk.target>${version.jdk.source}</version.jdk.target>
             </properties>
         </profile>
         <profile>
@@ -2086,56 +2056,5 @@
                 </plugins>
             </build>
         </profile>
-        <profile>
-            <!-- This profile is active when the project is loaded into
-            IntelliJ IDEA. It tricks the IDE into allowing more recent Java
-            language constructs. The regular Maven build supports some of those
-            constructs while targeting an older version of Java, thanks to the
-            Jabel compiler plugin. Note that this configuration comes with
-            downsides: it may cause IDEA to suggest language constructs and JDK
-            API usages that are not supported by the targeted JDK. -->
-            <id>idea</id>
-            <activation>
-                <property>
-                    <name>idea.maven.embedder.version</name>
-                </property>
-            </activation>
-            <build>
-                <pluginManagement>
-                    <plugins>
-                        <plugin>
-                            <groupId>org.apache.maven.plugins</groupId>
-                            <artifactId>maven-compiler-plugin</artifactId>
-                            <configuration>
-                                <release>${version.jdk.source}</release>
-                            </configuration>
-                        </plugin>
-                    </plugins>
-                </pluginManagement>
-            </build>
-        </profile>
-        <profile>
-            <id>custom-test-runtime-version</id>
-            <activation>
-                <property>
-                    <name>surefire.jdk-toolchain-version</name>
-                </property>
-            </activation>
-            <build>
-                <pluginManagement>
-                    <plugins>
-                        <plugin>
-                            <groupId>org.apache.maven.plugins</groupId>
-                            <artifactId>maven-surefire-plugin</artifactId>
-                            <configuration>
-                                <jdkToolchain>
-                                    <version>${surefire.jdk-toolchain-version}</version>
-                                </jdkToolchain>
-                            </configuration>
-                        </plugin>
-                    </plugins>
-                </pluginManagement>
-            </build>
-        </profile>
     </profiles>
 </project>