static byte[] readall(InputStream in) throws IOException {
byte[] buf = new byte[4096];
int off = 0;
while (true) {
if (off == buf.length) {
byte[] n = new byte[buf.length * 2];
System.arraycopy(buf, 0, n, 0, buf.length);
buf = n;
}
int ret = in.read(buf, off, buf.length - off);
if (ret < 0) {
byte[] n = new byte[off];
System.arraycopy(buf, 0, n, 0, off);
return (n);
}
off += ret;
}
}
static void readtileof(InputStream in) throws IOException {
byte[] buf = new byte[4096];
while (true) {
if (in.read(buf, 0, buf.length) < 0) return;
}
}
