diff --git a/.vscode/settings.json b/.vscode/settings.json
index 10afe40ce1d3a46da177f8f0337fb4ce14580698..074558c5705522fa9c52f0f9d3d4a2e5c3d4b5c8 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -5,6 +5,6 @@
 	"editor.codeActionsOnSave": {
 		"source.fixAll.eslint": true
 	},
-	"languageServer.wdChecks": false,
-	"languageServer.debugMode": false
+	"proB.wdChecks": false,
+	"proB.debugMode": false
 }
\ No newline at end of file
diff --git a/README.md b/README.md
index 5189b85547077b464efc513addc388c1c2f4eb0f..98ee5d298db3e970ba6e34d8f4c57681431f72c4 100644
--- a/README.md
+++ b/README.md
@@ -17,11 +17,11 @@ Compiler support for B via ProB. You don´t need your own version of proB, This
 
 This extension contributes the following settings:
 
-* `languageServer.probHome`: to set the path to ProB
-* `languageServer.wdChecks`: to enable/disable WD (Well-Definedness) Checks. 
-* `languageServer.strictChecks`: to enable/disable stricter Checks. 
-* `languageServer.performanceHints`: to enable/disable performance-related Hints.
-* `languageServer.debugMode`: to enable/disable the server log
+* `proB.probHome`: to set the path to ProB
+* `proB.wdChecks`: to enable/disable WD (Well-Definedness) Checks. 
+* `proB.strictChecks`: to enable/disable stricter Checks. 
+* `proB.performanceHints`: to enable/disable performance-related Hints.
+* `proB.debugMode`: to enable/disable the server log
 
 
 ## Bugs
diff --git a/package-lock.json b/package-lock.json
index 2c3db07ed3075d36ab5ce27d30a01a4b00760b31..75dddd3e419cab92fe9b1f374e372f066f1101aa 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1862,21 +1862,21 @@
 			"integrity": "sha512-YciJxk08iU5LmWu7j5dUt9/1OLjokKET6rME3cI4BRpiF6HZlusm2ZwPt0MYJ0lV5y43sZsQHhyon2xBg4ZJVA==",
 			"requires": {
 				"semver": "^6.3.0",
-				"vscode-languageserver-protocol": "^3.15.3"
+				"vscode-proB-protocol": "^3.15.3"
 			}
 		},
-		"vscode-languageserver-protocol": {
+		"vscode-proB-protocol": {
 			"version": "3.15.3",
-			"resolved": "https://registry.npmjs.org/vscode-languageserver-protocol/-/vscode-languageserver-protocol-3.15.3.tgz",
+			"resolved": "https://registry.npmjs.org/vscode-proB-protocol/-/vscode-proB-protocol-3.15.3.tgz",
 			"integrity": "sha512-zrMuwHOAQRhjDSnflWdJG+O2ztMWss8GqUUB8dXLR/FPenwkiBNkMIJJYfSN6sgskvsF0rHAoBowNQfbyZnnvw==",
 			"requires": {
 				"vscode-jsonrpc": "^5.0.1",
-				"vscode-languageserver-types": "3.15.1"
+				"vscode-proB-types": "3.15.1"
 			}
 		},
-		"vscode-languageserver-types": {
+		"vscode-proB-types": {
 			"version": "3.15.1",
-			"resolved": "https://registry.npmjs.org/vscode-languageserver-types/-/vscode-languageserver-types-3.15.1.tgz",
+			"resolved": "https://registry.npmjs.org/vscode-proB-types/-/vscode-proB-types-3.15.1.tgz",
 			"integrity": "sha512-+a9MPUQrNGRrGU630OGbYVQ+11iOIovjCkqxajPa9w57Sd5ruK8WQNsslzpa0x/QJqC8kRc2DUxWjIFwoNm4ZQ=="
 		},
 		"vscode-read-manifest": {
diff --git a/package.json b/package.json
index 3c8fe2ac24d0f7ef1b33ecd6cad2611b573c651b..a37c8f582c2be44be41ea91cb622d89fcf0a0c6b 100644
--- a/package.json
+++ b/package.json
@@ -32,7 +32,7 @@
 			"type": "object",
 			"title": "Configuration",
 			"properties": {
-				"languageServer.probHome": {
+				"proB.probHome": {
 					"id": "1",
 					"title": "ProBHome",
 					"scope": "application",
@@ -40,7 +40,7 @@
 					"default": "~/prob_prolog/probcli.sh",
 					"description": "Path to ProB executable"
 				},
-				"languageServer.wdChecks": {
+				"proB.wdChecks": {
 					"id": "2",
 					"title": "WD Checks",
 					"scope": "window",
@@ -48,7 +48,7 @@
 					"default": true,
 					"description": "Option for WD Checks"
 				},
-				"languageServer.strictChecks": {
+				"proB.strictChecks": {
 					"id": "3",
 					"title": "Strict Checks",
 					"scope": "application",
@@ -56,7 +56,7 @@
 					"default": true,
 					"description": "Option for stricter Checks"
 				},
-				"languageServer.performanceHints": {
+				"proB.performanceHints": {
 					"id": "4",
 					"title": "Performance Hints",
 					"scope": "application",
@@ -64,7 +64,7 @@
 					"default": true,
 					"description": "Option for performance-related Hints"
 				},
-				"languageServer.debugMode": {
+				"proB.debugMode": {
 					"id": "5",
 					"title": "Debug Mode",
 					"scope": "application",