diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index ef93cc2d6005e29ba01232307108f34ecad38fe8..b10b8adf0209789043f1f48fd549af830afd8912 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -13,6 +13,11 @@ repositories {
 	mavenCentral()
 }
 
+dependencies {
+	implementation(group: "com.google.code.gson", name: "gson", version: "2.8.6")
+	implementation(group: "org.eclipse.lsp4j", name: "org.eclipse.lsp4j.debug", version: "0.10.0")
+}
+
 sourceSets {
 	main {
 		java {