1.1 --- a/emul/mini/src/main/java/java/io/PushbackInputStream.java	Wed Jan 23 20:39:23 2013 +0100
     1.2 +++ b/emul/mini/src/main/java/java/io/PushbackInputStream.java	Wed Jan 23 22:55:28 2013 +0100
     1.3 @@ -25,6 +25,8 @@
     1.4  
     1.5  package java.io;
     1.6  
     1.7 +import org.apidesign.bck2brwsr.emul.lang.System;
     1.8 +
     1.9  /**
    1.10   * A <code>PushbackInputStream</code> adds
    1.11   * functionality to another input stream, namely
    1.12 @@ -177,7 +179,7 @@
    1.13              if (len < avail) {
    1.14                  avail = len;
    1.15              }
    1.16 -            arraycopy(buf, pos, b, off, avail);
    1.17 +            System.arraycopy(buf, pos, b, off, avail);
    1.18              pos += avail;
    1.19              off += avail;
    1.20              len -= avail;
    1.21 @@ -232,7 +234,7 @@
    1.22              throw new IOException("Push back buffer is full");
    1.23          }
    1.24          pos -= len;
    1.25 -        arraycopy(b, off, buf, pos, len);
    1.26 +        System.arraycopy(b, off, buf, pos, len);
    1.27      }
    1.28  
    1.29      /**
    1.30 @@ -380,9 +382,4 @@
    1.31          in = null;
    1.32          buf = null;
    1.33      }
    1.34 -    static void arraycopy(byte[] value, int srcBegin, byte[] dst, int dstBegin, int count) {
    1.35 -        while (count-- > 0) {
    1.36 -            dst[dstBegin++] = value[srcBegin++];
    1.37 -        }
    1.38 -    }
    1.39  }