1.1 --- a/emul/mini/src/main/java/java/io/DataInputStream.java	Wed Jan 23 20:39:23 2013 +0100
     1.2 +++ b/emul/mini/src/main/java/java/io/DataInputStream.java	Wed Jan 23 22:55:28 2013 +0100
     1.3 @@ -26,6 +26,7 @@
     1.4  package java.io;
     1.5  
     1.6  import org.apidesign.bck2brwsr.core.JavaScriptBody;
     1.7 +import org.apidesign.bck2brwsr.emul.lang.System;
     1.8  
     1.9  /**
    1.10   * A data input stream lets an application read primitive Java data
    1.11 @@ -565,7 +566,7 @@
    1.12                  if (--room < 0) {
    1.13                      buf = new char[offset + 128];
    1.14                      room = buf.length - offset - 1;
    1.15 -                    arraycopy(lineBuffer, 0, buf, 0, offset);
    1.16 +                    System.arraycopy(lineBuffer, 0, buf, 0, offset);
    1.17                      lineBuffer = buf;
    1.18                  }
    1.19                  buf[offset++] = (char) c;
    1.20 @@ -696,9 +697,4 @@
    1.21          // The number of chars produced may be less than utflen
    1.22          return new String(chararr, 0, chararr_count);
    1.23      }
    1.24 -    static void arraycopy(char[] value, int srcBegin, char[] dst, int dstBegin, int count) {
    1.25 -        while (count-- > 0) {
    1.26 -            dst[dstBegin++] = value[srcBegin++];
    1.27 -        }
    1.28 -    }
    1.29  }