diff --git a/package.json b/package.json
index e641e455662710b2455ef213f35101fe6cb8c6c5..26669f3852036c2ce99a1ae615ae27d4e5930bd0 100644
--- a/package.json
+++ b/package.json
@@ -49,25 +49,25 @@
 					"description": "Traces the communication between VS Code and the language server."
 				},
 				"languageServer.probHome": {
-					"scope": "window",
+					"scope": "resource",
 					"type": "string",
 					"default": "~/prob_prolog/probcli.sh",
 					"description": "Path to ProB executable"
 				},
 				"languageServer.wdChecks": {
-					"scope": "window",
+					"scope": "resource",
 					"type": "boolean",
 					"default": true,
 					"description": "Option for WD Checks"
 				},
 				"languageServer.strictChecks": {
-					"scope": "window",
+					"scope": "resource",
 					"type": "boolean",
 					"default": false,
 					"description": "Option for stricter Checks"
 				},
 				"languageServer.performanceHints": {
-					"scope": "window",
+					"scope": "resource",
 					"type": "boolean",
 					"default": true,
 					"description": "Option for performance-related Hints"
diff --git a/src/extension.ts b/src/extension.ts
index 6c2bb9457f26e10d0262e43fb04d3de03aebe449..a1abd33466d072149e31cfd08259af9c75a31abd 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -23,24 +23,8 @@ import {
 let client: LanguageClient;
 
 export function activate(context: ExtensionContext) {
-	// The server is implemented in node
-/*	let serverModule = context.asAbsolutePath(
-		path.join('server', 'out', 'server.js')
-	);*/
-	// The debug options for the server
-	// --inspect=6009: runs the server in Node's Inspector mode so VS Code can attach to the server for debugging
-	let debugOptions = { execArgv: ['--nolazy', '--inspect=6009'] };
-
-	// If the extension is launched in debug mode then the debug server options are used
-	// Otherwise the run options are used
+
 	let serverOptions: ServerOptions = {
-	/*	run: { module: serverModule, transport: TransportKind.ipc },
-		debug: {
-			module: serverModule,
-			transport: TransportKind.ipc,
-			options: debugOptions
-		}
-		*/
 		command: '/usr/bin/java',
 		args: [ "-jar", "/home/sebastian/IdeaProjects/b-language-server/build/libs/b-language-server-all.jar"]
 	};
@@ -84,6 +68,7 @@ export function activate(context: ExtensionContext) {
 	// Start the client. This will also launch the server
 	let disposable = client.start();
 	context.subscriptions.push(disposable);
+	
 }