diff --git a/lsp/src/main/java/lsp/LSPServer.java b/lsp/src/main/java/lsp/LSPServer.java
index a6b52af7f..9fb0f5b17 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;
@@ -74,6 +75,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
 	}