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