From a2746aa12b956855b62f3c549873a218d0d00b49 Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Mon, 16 Sep 2024 13:08:04 +0100
Subject: [PATCH] Added vdmj.release property to LSPServer

---
 lsp/src/main/java/lsp/LSPServer.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lsp/src/main/java/lsp/LSPServer.java b/lsp/src/main/java/lsp/LSPServer.java
index 6c5c55721..3cd4ab4c7 100644
--- a/lsp/src/main/java/lsp/LSPServer.java
+++ b/lsp/src/main/java/lsp/LSPServer.java
@@ -30,6 +30,7 @@
 import java.util.HashMap;
 import java.util.Map;
 
+import com.fujitsu.vdmj.Release;
 import com.fujitsu.vdmj.Settings;
 import com.fujitsu.vdmj.VDMJMain;
 import com.fujitsu.vdmj.lex.Dialect;
@@ -73,6 +74,7 @@ public LSPServer(Dialect dialect, InputStream inStream, OutputStream outStream)
 		Settings.dialect = dialect;
 		Settings.strict = Boolean.getBoolean("vdmj.strict");
 		Settings.verbose = Boolean.getBoolean("vdmj.verbose");
+		Settings.release = Release.lookup(System.getProperty("vdmj.release", "vdm10"));
 		
 		LSPPlugin.getInstance();	// Creates all plugins
 	}