diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 15bff6a6b9b0f6616101e131e1a12001a4fb29f9..51082eda724a049e7ed1b73d8c8280ee001dee3d 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -12,9 +12,7 @@ repositories {
 }
 
 dependencies {
-	testCompile (group: 'junit', name: 'junit', version: '4.+')
-    testCompile (group: 'org.easymock', name: 'easymock', version: '3.1')
-    compile (group: 'javax.mail', name: 'mail', version :'1.4.1')
+	testCompile files ('lib/easymock-3.3.1.jar', 'lib/jpf.jar', 'lib/junit-4.8.2.jar', 'lib/javax.mail.jar')
 }
 
 sourceSets {