saveSymbols(namespacesDb);
try { DBBroker.saveSymbols(); } catch (EXistException e) { LOG.warn(e.getMessage(), e); }
	public void flush() {		textEngine.flush();		elementIndex.flush();		if (symbols != null && symbols.hasChanged())			saveSymbols(namespacesDb);		nodesCount = 0;	}