new DOMTransaction(this, domDb, Lock.WRITE_LOCK) { public Object start() { try { domDb.flush(); } catch (DBException e) { LOG.warn("error while flushing dom.dbx", e); } return null; } } .run();
	public void flush() {		new DOMTransaction(this, domDb, Lock.WRITE_LOCK) {			public Object start() {				try {					domDb.flush();				} catch (DBException e) {					LOG.warn("error while flushing dom.dbx", e);				}				return null;			}		}		.run();		textEngine.flush();		elementIndex.flush();		if (symbols != null && symbols.hasChanged())			saveSymbols(namespacesDb);		nodesCount = 0;	}