}
public void get(long addr, byte[] bytes, int off, int len) {
if (len > Page.PAGE_SIZE) {
try {
ourPool.flushPagesInRange(this, addr, len);
<BUG>final FileChannel channel = getChannel();
channel.read(ByteBuffer.wrap(bytes, off, len), addr);
releaseChannel();
mySize = Math.max(mySize, addr + len);</BUG>
}

}
mySize = file.length();
}
public void put(long addr, byte[] bytes, int off, int len) {
myIsDirty = true;
mySize = Math.max(mySize, addr + len);
if (len > Page.PAGE_SIZE) {
try {
ourPool.flushPagesInRange(this, addr, len);
final RandomAccessFile file = getFile();
file.seek(addr);
file.write(bytes, off, len);
releaseFile();
}
