From f26b4cb92276299467c516dc6ad14c30a29a279b Mon Sep 17 00:00:00 2001
From: Tomasz Godzik <tomek.godzik@gmail.com>
Date: Fri, 6 Aug 2021 19:07:58 +0200
Subject: [PATCH] Point the message about java home to to exact Metals setting

---
 src/extension.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/extension.ts b/src/extension.ts
index b2140f7d2..93d44c9a5 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -129,7 +129,7 @@ export function deactivate(): Thenable<void> | undefined {
 function showMissingJavaMessage(): Thenable<void> {
   const message =
     "Unable to find a Java 8 or Java 11 installation on this computer. " +
-    "To fix this problem, update the 'Java Home' setting to point to a Java 8 or Java 11 home directory " +
+    "To fix this problem, update the 'metals.javaHome' setting to point to a Java 8 or Java 11 home directory " +
     "or select a version to install automatically";
 
   outputChannel.appendLine(message);