diff --git a/src/tla2tools.ts b/src/tla2tools.ts
index d05272e..5aba3be 100644
--- a/src/tla2tools.ts
+++ b/src/tla2tools.ts
@@ -240,7 +240,7 @@ function buildJavaPath(): string {
         const homeUri = pathToUri(javaHome);
         javaPath = homeUri.fsPath + path.sep + 'bin' + path.sep + javaCmd;
         if (!fs.existsSync(javaPath)) {
-            throw new ToolingError('Java executable not found. Check the Java Home setting.');
+            throw new ToolingError(`Java executable not found in "${javaPath}". Check the Java Home setting.`);
         }
     }
     return javaPath;