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