diff --git a/package-lock.json b/package-lock.json
index f3c0191ae8c6460394b34b7c507be80add2cdfc6..7b85e76ceac74cbdab537fe6ff206b3cb0b9e892 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1316,6 +1316,11 @@
 				"through2": "^2.0.3"
 			}
 		},
+		"net": {
+			"version": "1.0.2",
+			"resolved": "https://registry.npmjs.org/net/-/net-1.0.2.tgz",
+			"integrity": "sha1-0XV+yaf7I3HYPPR1XOPifhCCk4g="
+		},
 		"node-environment-flags": {
 			"version": "1.0.6",
 			"resolved": "https://registry.npmjs.org/node-environment-flags/-/node-environment-flags-1.0.6.tgz",
diff --git a/package.json b/package.json
index 850e395b6c9c5fe803627b23ffd5a26b9edad716..e1cb79f065cda4a4675e8bcd1222928815bf4a6c 100644
--- a/package.json
+++ b/package.json
@@ -143,6 +143,7 @@
 		"fs": "0.0.1-security",
 		"mkdirp": "^1.0.4",
 		"ndjson": "^1.5.0",
+		"net": "^1.0.2",
 		"path": "^0.12.7",
 		"run-script-os": "^1.1.1",
 		"stream-to-array": "^2.3.0",
diff --git a/src/extension.ts b/src/extension.ts
index 69ccdab9b09b0bbbdae69ef47b6e80869b757d64..2a8588cded93288180fb38b6db6dbbe29fa3b262 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -11,7 +11,12 @@ import {
 	LanguageClient,
 	LanguageClientOptions,
 	ServerOptions,
+	TransportKind,
+	NodeModule,
+	Transport,
+	StreamInfo
 } from 'vscode-languageclient';
+import * as net from 'net';
 import fs from "fs"
 import * as path from 'path'
 
@@ -24,12 +29,28 @@ export function activate(context: ExtensionContext) {
 	//const serverHome = "/home/sebastian/IdeaProjects/b-language-server/build/libs/b-language-server-all.jar"
 	const javaHome : string = workspace.getConfiguration("common").get("javaHome")
 
+
+	let connectionInfo = {
+		port : 5555
+	}
+
+
+	let serverOptions : ServerOptions = () => {
+		let socket = net.connect(connectionInfo);
+        let result: StreamInfo = {
+            writer: socket,
+            reader: socket
+        };
+        return Promise.resolve(result);
+	}
+/*
 	let serverOptions: ServerOptions = {
 		command: javaHome,
-		args: [ "-jar", serverHome]
+		args: [ "-jar", "--add-opens",  "java.base/java.lang=ALL-UNNAMED", serverHome],
+		run : nodeModule
 	};
 
-	
+	*/
 
 	let debugChannle = window.createOutputChannel("ProB language server")
 	debugChannle.appendLine("starting server at <" + javaHome + " -jar " + serverHome + ">")