diff --git a/src/main/kotlin/b/language/server/App.kt b/src/main/kotlin/b/language/server/App.kt
index 8ad0f3782ae6661a03ec8375b007a53bf6c4dfef..b22a97c6bd72322f572bb97d28c32b6bd41e01dc 100644
--- a/src/main/kotlin/b/language/server/App.kt
+++ b/src/main/kotlin/b/language/server/App.kt
@@ -13,7 +13,7 @@ fun main() {
 
     println("<${socket.localPort}> is the port; opening connection and listening")
     val channel = socket.accept()
-    println("accepted connection from ${channel.inetAddress}")
+    //println("accepted connection from ${channel.inetAddress}")
     startServer(channel.getInputStream(), channel.getOutputStream())
 }
 
diff --git a/src/main/kotlin/b/language/server/BDocumentService.kt b/src/main/kotlin/b/language/server/BDocumentService.kt
index c0cf930206b6b9323e1447bc41a39d1e23124532..5d6362cbdc7c68fcf2637afdfc64babeddbd7fb7 100644
--- a/src/main/kotlin/b/language/server/BDocumentService.kt
+++ b/src/main/kotlin/b/language/server/BDocumentService.kt
@@ -45,7 +45,6 @@ class BDocumentService(private val server: Server,
      * @param currentUri uri to perform actions on
      */
     fun checkDocument(currentUri : String){
-
         val clientSettings = server.getDocumentSettings(currentUri)
         communicator.sendDebugMessage("waiting for document settings", MessageType.Info)
 
@@ -54,6 +53,7 @@ class BDocumentService(private val server: Server,
             communicator.sendDebugMessage("settings are $settings", MessageType.Info)
 
             try{
+                communicator.sendDebugMessage("calling probInterface", MessageType.Info);
                 val diagnostics: List<Diagnostic> = proBInterface.checkDocument(currentUri, settings)
                 communicator.sendDebugMessage("creating diagnostics $diagnostics", MessageType.Info)
                 communicator.publishDiagnostics(PublishDiagnosticsParams(currentUri, diagnostics))
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernelManager.kt b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernelManager.kt
index 5d6a7aa11336d2c3cd3ca2b6ff476b6f280b12e4..cc610a9cd61620dce0a562eab1b76d55ac1967ff 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernelManager.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/ProBKernelManager.kt
@@ -10,8 +10,6 @@ import org.eclipse.lsp4j.Diagnostic
 import org.eclipse.lsp4j.MessageType
 import java.io.File
 import java.net.URI
-import java.nio.file.Files
-import java.nio.file.Path
 
 /**
  * Creates the prob kernel access and maintenance
@@ -51,7 +49,6 @@ class ProBKernelManager(private val communicator : CommunicatorInterface) : ProB
             if(probNewHome == "DEFAULT"){ //Use default prob
                 System.setProperty("prob.home", "null")
                 kernel = setup()
-                probHome = probNewHome
                 true
             }
             else {
@@ -81,11 +78,11 @@ class ProBKernelManager(private val communicator : CommunicatorInterface) : ProB
      * @throws CouldNotFindProBHomeException the given path ist not "DEFAULT" and wrong
      */
     override fun checkDocument(uri: String, settings: Settings): List<Diagnostic> {
+
         val path = URI(uri).path
+       //Files.exists(Path.of(URI(uri)))
 
-        Files.exists(Path.of(URI(uri)))
-        communicator.sendDebugMessage("try to use ${settings.probHome} as prob version instead of " +
-                System.getProperty("prob.home"), MessageType.Info)
+        communicator.sendDebugMessage("try to use ${settings.probHome} as prob version instead of " + System.getProperty("prob.home"), MessageType.Info)
         val result = checkProBVersionSetting(settings.probHome)
         if(!result){
           throw CouldNotFindProBHomeException("searched at ${settings.probHome} for prob but found nothing - make sure " +