if (page == null) return; try { DOMFilePageHeader ph = (DOMFilePageHeader) page.getPageHeader(); if (!ph.isDirty()) return; ph.setDataLength(len); ph.setRecordLen(len); Value value = new Value(data); writeValue(page, value); setDirty(false);  } catch (IOException ioe) { LOG.error(ioe); } }
if (page == null) return; try { DOMFilePageHeader ph = (DOMFilePageHeader) page.getPageHeader(); if (!ph.isDirty()) return; ph.setDataLength(len); Value value = new Value(data); writeValue(page, value); setDirty(false);  } catch (IOException ioe) { LOG.error(ioe); } }
		public void write() {			if (page == null)				return;			try {				DOMFilePageHeader ph = (DOMFilePageHeader) page.getPageHeader();				if (!ph.isDirty())					return;				ph.setDataLength(len);				ph.setRecordLen(len);				Value value = new Value(data);				writeValue(page, value);				setDirty(false);				//page.write();			} catch (IOException ioe) {				LOG.error(ioe);			}		}