domDb.flush();
domDb.sync();
	public void flush() {		try {			synchronized (domDb) {				domDb.flush();			}		} catch (DBException e) {			e.printStackTrace();			LOG.warn(e);		}		textEngine.flush();		elementIndex.flush();		if (symbols != null && symbols.hasChanged())			saveSymbols(namespacesDb);        nodesCount = 0;	}