private DataPage getDataPage(long pos) { try {
private DataPage getDataPage(long pos) throws IOException {
	private DataPage getDataPage(long pos) {		try {			DataPage wp;			if ((wp = pages.get(pos)) == null) {				final Page page = getPage(pos);				final byte[] data = page.read();				if (page == null) {					LOG.debug("page " + pos + " not found!");					return null;				}				if (page.getPageHeader().getStatus() == MULTI_PAGE)					return new OverflowPage(page, data, compressPages);				else					return new SinglePage(page, data, compressPages);			} else if (wp.getPageHeader().getStatus() == MULTI_PAGE)				return new OverflowPage(wp);			else				return wp;		} catch (IOException ioe) {			LOG.debug("cannot read page: " + pos + ": " + ioe, ioe);			return null;		}	}