pageSize = his.readShort();
} else {
}
}
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();