1.1 --- a/emul/src/main/java/java/io/PushbackInputStream.java	Sat Nov 10 17:38:35 2012 +0100
     1.2 +++ b/emul/src/main/java/java/io/PushbackInputStream.java	Wed Jan 23 20:16:48 2013 +0100
     1.3 @@ -177,7 +177,7 @@
     1.4              if (len < avail) {
     1.5                  avail = len;
     1.6              }
     1.7 -            System.arraycopy(buf, pos, b, off, avail);
     1.8 +            arraycopy(buf, pos, b, off, avail);
     1.9              pos += avail;
    1.10              off += avail;
    1.11              len -= avail;
    1.12 @@ -232,7 +232,7 @@
    1.13              throw new IOException("Push back buffer is full");
    1.14          }
    1.15          pos -= len;
    1.16 -        System.arraycopy(b, off, buf, pos, len);
    1.17 +        arraycopy(b, off, buf, pos, len);
    1.18      }
    1.19  
    1.20      /**
    1.21 @@ -380,4 +380,9 @@
    1.22          in = null;
    1.23          buf = null;
    1.24      }
    1.25 +    static void arraycopy(byte[] value, int srcBegin, byte[] dst, int dstBegin, int count) {
    1.26 +        while (count-- > 0) {
    1.27 +            dst[dstBegin++] = value[srcBegin++];
    1.28 +        }
    1.29 +    }
    1.30  }