diff --git a/build.gradle b/build.gradle
index a6d160889d0b..105b562bdba8 100644
--- a/build.gradle
+++ b/build.gradle
@@ -12,8 +12,6 @@ plugins {
     id("java")
     // https://github.com/tbroyer/gradle-errorprone-plugin
     alias(libs.plugins.net.ltgt.errorprone)
-    // https://docs.gradle.org/current/userguide/eclipse_plugin.html
-    id("eclipse")
     // To show task list as a tree, run: ./gradlew <taskname> taskTree
     alias(libs.plugins.com.dorongold.task.tree)
     // This is a locally built "plugin" that contains the spotless configuration. It is in
@@ -149,7 +147,6 @@ allprojects { currentProj ->
     group = "io.github.eisop"
 
     apply plugin: "java"
-    apply plugin: "eclipse"
     apply plugin: "com.gradleup.shadow"
     apply plugin: "de.undercouch.download"
     apply plugin: "net.ltgt.errorprone"
@@ -216,26 +213,6 @@ allprojects { currentProj ->
         subprojects.each { sp -> allProjects project(sp.path) }
     }
 
-    eclipse.classpath {
-        defaultOutputDir = file("build/default")
-        file.whenMerged { cp ->
-            // Remove bare "src/main" source folder entries that cause Eclipse nesting errors.
-            // See https://github.com/eisop/checker-framework/issues/2130 for a permanent cleanup.
-            cp.entries.removeAll { e ->
-                e instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder && e.path == "src/main"
-            }
-
-            cp.entries.forEach { cpe ->
-                if (cpe instanceof org.gradle.plugins.ide.eclipse.model.SourceFolder) {
-                    cpe.output = cpe.output.replace "bin/", "build/classes/java/"
-                }
-                if (cpe instanceof org.gradle.plugins.ide.eclipse.model.Output) {
-                    cpe.path = cpe.path.replace "bin/", "build/"
-                }
-            }
-        }
-    }
-
     ext {
         // The add-export and add-open arguments for compiling and for running the Checker Framework.
         // Keep these lists in sync with the lists in CheckerMain#getExecArguments,
diff --git a/checker/bin-devel/test-misc.sh b/checker/bin-devel/test-misc.sh
index d8f66592a821..e54217b5a5d1 100755
--- a/checker/bin-devel/test-misc.sh
+++ b/checker/bin-devel/test-misc.sh
@@ -59,9 +59,6 @@ git diff --exit-code docs/manual/contributors.tex \
 # Checker Framework into IDEs like IntelliJ works.
 ./gradlew tasks --all --warning-mode=all
 
-# Check Eclipse and IDE project configuration generation
-./gradlew cleanEclipse eclipse --warning-mode=all
-
 # Check that modern APIs are used
 ./gradlew modernizer
 
diff --git a/docs/developer/developer-manual.html b/docs/developer/developer-manual.html
index f0c97892874e..05f9b0856abe 100644
--- a/docs/developer/developer-manual.html
+++ b/docs/developer/developer-manual.html
@@ -283,14 +283,6 @@ <h2 id="IDE_configuration">IDE configuration</h2>
 If your IDE cannot find <code>com.sun.source.*</code> packages, try changing the project JDK to JDK 11 or JDK 17.
 </p>
 
-<p>
-For VS Code and Eclipse, run <code>./gradlew eclipse</code> before running
-the IDE for the first time.
-This ensures generated files are not put in the standard <code>../bin/</code> directories.
-If you switch branches or update Gradle dependencies, run
-<code>./gradlew cleanEclipse eclipse</code> to reset and regenerate the IDE configuration.
-</p>
-
 <p>
 For VS Code users, install the recommended "Extension Pack for Java"
 (<code>vscjava.vscode-java-pack</code>). Recommended workspace settings and extension