pageFile.flush();
if( !isReadOnly() && pageFile.storeFreePages ) {
Ranges ranges = pageFile.allocator().getFreeRanges().copy();
int freePageExtent = pageFile.alloc();
DataOutputStream os = new DataOutputStream(new ExtentOutputStream(pageFile, freePageExtent, (short)1, (short)200));
ranges.writeExternal(os);
os.close();
writePageFileHeader(freePageExtent);
}
pageFile.flush();
pageFile = null;