diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index aa3f49f4d022808da8c8e7827fe91979276aef6e..8aa82b3ea9da57b0a1c2fda984a0c704a1467766 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -15,7 +15,7 @@ repositories {
 
 dependencies {
 	implementation(files('lib/javax.mail.jar'))
-	testImplementation(files('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.8.2.jar', '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 {