final int read = buffer.readFromFile(file, offset, amount);
TIMER_END();
OSTRACE("READ %s %5d %7d %d\n", this.filePath, read, offset, TIMER_ELAPSED());
return read < 0 ? 0 : read;
} catch (IOException e) {
throw new SqlJetIOException(SqlJetIOErrorCode.IOERR_READ, e);
}
}