data = page.read();
		private void load(Page page) {			try {				DOMFilePageHeader ph = (DOMFilePageHeader) page.getPageHeader();				len = ph.getDataLength();				data = page.read();				if (data.length == 0) {					LOG.debug(						"page " + page.getPageNum() + " data length == 0");					return;				}			} catch (IOException ioe) {				LOG.debug(ioe);				ioe.printStackTrace();			}			saved = true;		}