}
pageFile = new HawtPageFile(mappedFileFactory.getMemoryMappedFile(), pageSize, headerSize, maxPages, storeFreePages);
if( freePageExtent >=0 ) {
DataInputStream is = new DataInputStream(new ExtentInputStream(pageFile, freePageExtent));
pageFile.allocator().getFreeRanges().readExternal(is);
is.close();
}
if( pageFile.storeFreePages && !isReadOnly() ) {