diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index 0e34dfea65f16662d4448d5c2a8db198abf2906a..230796d94a8bfdbfa288036f2f47c6dbc4f747f6 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -1,5 +1,4 @@
 apply plugin: 'java'
-apply plugin: 'eclipse'
 apply plugin: "maven-publish"
 apply plugin: "signing"