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