if( !magic.ascii().equals(HAWT_DB_PAGE_FILE_MAGIC)) {
throw new IOPagingException("File's magic does not match expected value");
}
freePageExtent = his.readInt();
headerSize = his.readInt();
pageSize = his.readShort();
} else {
}
}
pageFile = new HawtPageFile(mappedFileFactory.getMemoryMappedFile(), pageSize, headerSize, maxPages, storeFreePages);