Robust/src/ClassLibrary/System.java

   1 public class System {
   2     /*    public static void printInt(int x) {
   3         String s=String.valueOf(x);
   4         printString(s);
   5         }*/
   6
   7     public static native void printString(String s);
   8     public static native void printInt(int x);
   9 }