From 9ab3615fd60ef7a86d1af71d7cfc34b5a6095571 Mon Sep 17 00:00:00 2001
From: Achal Talati <achal.talati@oracle.com>
Date: Mon, 6 Nov 2023 14:18:02 +0530
Subject: [PATCH] updated configurations jdk.jdkhome and jdk.userdir

Signed-off-by: Achal Talati <achal.talati@oracle.com>
---
 vscode/package.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/vscode/package.json b/vscode/package.json
index 89e67bb..b72dd6b 100644
--- a/vscode/package.json
+++ b/vscode/package.json
@@ -85,7 +85,7 @@
 					],
 					"default": null,
 					"description": "Specifies JDK for the Oracle Visual Studio Code Extension",
-					"scope": "machine"
+					"scope": "machine-overridable"
 				},
 				"jdk.verbose": {
 					"type": "boolean",
@@ -103,7 +103,8 @@
 						"Share data between all workspaces (more effective)",
 						"Each workspace has its own data (more isolated)"
 					],
-					"default": "local"
+					"default": "local",
+					"deprecationMessage": "Separate userdir for each workspace is the default behaviour"
 				},
 				"jdk.revealActiveInProjects": {
 					"type": "boolean",