config.setProperty("db-connection.symbol-table", symbols);
	public DBBroker(BrokerPool pool, Configuration config)		throws EXistException {		this.config = config;		Boolean temp;		if ((temp = (Boolean) config.getProperty("indexer.case-sensitive"))			!= null)			caseSensitive = temp.booleanValue();		String sym, dataDir;		if ((dataDir = (String) config.getProperty("db-connection.data-dir"))			== null)			dataDir = "data";		if (symbols == null) {			symbolsFile =				new File(dataDir + File.separatorChar + "symbols.dbx");			symbols = new SymbolTable();			if (!symbolsFile.canRead()) {				saveSymbols();			} else				loadSymbols();		}		this.pool = pool;	}