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(); }
    public DBBroker( BrokerPool pool, Configuration config ) {        this.config = config;        Boolean temp;        if ( ( temp = (Boolean) config.getProperty( "indexer.case-sensitive" ) )             != null )            caseSensitive = temp.booleanValue();		this.pool = pool;    }