Bug in java_io_FileInputStream_skip
/* Not seekable - try just reading. */
ret = 0;
while (off > 0) {
rc = KREAD(unhand(unhand(fh)->fd)->fd, buffer, 100, &count);
Should not simply read 100 bytes but beter min(100, off) bytes.
Chris
