libConsole/Console.java
changeset 134 8325a0fc22cd
parent 83 220d76d0d672
--- a/libConsole/Console.java
+++ b/libConsole/Console.java
@@ -1,8 +1,10 @@
+import java.io.File;
+
 public class Console {
     public static native int getch ();
     private static void help () {
         String p = System.getProperty ("java.library.path");
-        String[] msg = p.split (":");
+        String[] msg = p.split (File.pathSeparator);
         System.err.printf ("Console Error:%n");
 
         for (int i = 0; i < msg.length; i++)