equal
deleted
inserted
replaced
1 public class Console { |
1 public class Console { |
2 public static native int getch (); |
2 public static native int getch (); |
3 private static void help () { |
3 private static void help () { |
4 String p = System.getProperty ("java.library.path"); |
4 String p = System.getProperty ("java.library.path"); |
5 String[] msg = p.split (":"); |
5 String[] msg = p.split (":"); |
6 System.err.printf ("Console Error:\n"); |
6 System.err.printf ("Console Error:%n"); |
7 |
7 |
8 for (int i = 0; i < msg.length; i++) |
8 for (int i = 0; i < msg.length; i++) |
9 System.err.printf ("\t%s\n", msg[i]); |
9 System.err.printf ("\t%s%n", msg[i]); |
10 System.exit (-1); |
10 System.exit (-1); |
11 }; |
11 }; |
12 |
12 |
13 static { |
13 static { |
14 try { |
14 try { |