get delimiter

eisopux · Nov 10, 2019 · 7d3ec5b · 7d3ec5b
1 parent d328a02
commit 7d3ec5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/org/checkerframework/languageserver/CheckExecutor.java b/src/main/java/org/checkerframework/languageserver/CheckExecutor.java
@@ -46,7 +46,7 @@ class CheckExecutor {
                 sawClasspath = true;
                 options.add(o);
                 o = it.next();
-                options.add(o + ":" + JavacWrapper.class.getProtectionDomain().getCodeSource().getLocation().getPath());
+                options.add(o + File.pathSeparator + JavacWrapper.class.getProtectionDomain().getCodeSource().getLocation().getPath());
             } else {
                 options.add(o);
             }