setDirty(false);
		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);				//page.write();			} catch (IOException ioe) {				LOG.error(ioe);			}		}