myIsDirty = true;
mySize = Math.max(mySize, addr + len);
if (len > Page.PAGE_SIZE) {
try {
ourPool.flushPagesInRange(this, addr, len);
<BUG>final FileChannel channel = getChannel();
channel.write(ByteBuffer.wrap(bytes, off, len), addr);
releaseChannel();
}</BUG>
catch (IOException e) {

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();
}
catch (IOException e) {
