Improve error message for wrong java home path

Signed-off-by: Federico Ponzi <[email protected]>

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;