diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 51082eda724a049e7ed1b73d8c8280ee001dee3d..0cb17c7d68c0ce8270b1f6fd48d9841240c15185 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -12,6 +12,7 @@ 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')
 }