diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 8aa82b3ea9da57b0a1c2fda984a0c704a1467766..08db82ed99e6a16e675c7847d191b504fc9827a6 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -15,7 +15,6 @@ repositories {
 
 dependencies {
 	implementation(files('lib/javax.mail.jar'))
-	testImplementation(files('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.12.jar', 'lib/javax.mail.jar'))
 }
 
 sourceSets {