From 36cb3e84fcb249b76d270dfcb3b51423ace6fc54 Mon Sep 17 00:00:00 2001 From: Tomasz Godzik Date: Tue, 5 Nov 2024 17:46:12 +0100 Subject: [PATCH] bugfix: Remove JDK 11 as a possibility since it will not work now It's also possible user will have an older setting --- packages/metals-vscode/src/util.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/metals-vscode/src/util.ts b/packages/metals-vscode/src/util.ts index baa982a0..7e8ab080 100644 --- a/packages/metals-vscode/src/util.ts +++ b/packages/metals-vscode/src/util.ts @@ -18,7 +18,7 @@ import { JavaVersion, UserConfiguration } from "metals-languageclient"; declare const sym: unique symbol; -const possibleJavaVersions = ["11", "17", "21"]; +const possibleJavaVersions = ["17", "21"]; /** * Creates a newtype without any runtime overhead. It's important for ID to be both unique and descriptive. */