diff -r 05224402145d -r 53fafe384803 emul/mini/src/main/java/java/io/PushbackInputStream.java
--- a/emul/mini/src/main/java/java/io/PushbackInputStream.java	Wed Jan 23 20:39:23 2013 +0100
+++ b/emul/mini/src/main/java/java/io/PushbackInputStream.java	Wed Jan 23 22:55:28 2013 +0100
@@ -25,6 +25,8 @@
 
 package java.io;
 
+import org.apidesign.bck2brwsr.emul.lang.System;
+
 /**
  * A <code>PushbackInputStream</code> adds
  * functionality to another input stream, namely
@@ -177,7 +179,7 @@
             if (len < avail) {
                 avail = len;
             }
-            arraycopy(buf, pos, b, off, avail);
+            System.arraycopy(buf, pos, b, off, avail);
             pos += avail;
             off += avail;
             len -= avail;
@@ -232,7 +234,7 @@
             throw new IOException("Push back buffer is full");
         }
         pos -= len;
-        arraycopy(b, off, buf, pos, len);
+        System.arraycopy(b, off, buf, pos, len);
     }
 
     /**
@@ -380,9 +382,4 @@
         in = null;
         buf = null;
     }
-    static void arraycopy(byte[] value, int srcBegin, byte[] dst, int dstBegin, int count) {
-        while (count-- > 0) {
-            dst[dstBegin++] = value[srcBegin++];
-        }
-    }
 }