diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
index 77647d5988db6b6a9add5d5bb3f4e061ddb5584d..bf360da664ca04123f172be8d977a9ea5d034a97 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -116,6 +116,7 @@ class BDocumentServiceTest {
         val documentService = BDocumentService(DummyServer(), communicator, ProBKernelManager(communicator))
 
 
+        val expectedDocument = File("b-language-server/src/test/resources/WD_M1.mch").absolutePath
 
         documentService.checkDocument(URI("src/test/resources/WD_M1.mch"))
 
@@ -124,7 +125,7 @@ class BDocumentServiceTest {
 
         assertEquals(1, communicator.pushedDiagnostics.entries.size)
         assertEquals(3, communicator.pushedDiagnostics.entries.first().value.size)
-        assertTrue(targetSet.first().contains("b-language-server/src/test/resources/WD_M1.mch"))
+        assertEquals(expectedDocument, targetSet.first())
 
     }
 
diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt
index 7b79c998dd92ced12cb207d128bc63696521dddf..466c6f872fbca2680ac261a4ff3340fdd0fa351f 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/UtilTest.kt
@@ -8,6 +8,7 @@ import org.eclipse.lsp4j.DiagnosticSeverity
 import org.eclipse.lsp4j.Position
 import org.eclipse.lsp4j.Range
 import org.junit.jupiter.api.Test
+import java.io.File
 import kotlin.test.assertEquals
 
 class UtilTest {
@@ -21,16 +22,16 @@ class UtilTest {
         val endLine = 101
         val endCol = 101
         val message = "hello"
-        val file = "/test"
+        val file = File("/test")
 
          val errorItem = ErrorItem(message, ErrorItem.Type.INTERNAL_ERROR,
-                 listOf(ErrorItem.Location(file, startLine,statCol,endLine,endCol)))
+                 listOf(ErrorItem.Location(file.absolutePath, startLine,statCol,endLine,endCol)))
 
          val diagnostic = Diagnostic(
                  Range(
                          Position(startLine-1, statCol),
                          Position(endLine-1, endCol)),
-                 message, DiagnosticSeverity.Error, file)
+                 message, DiagnosticSeverity.Error, file.absolutePath)
 
         val errorItemAfter = convertErrorItems(listOf(errorItem), "dummy").first()