public DBBroker( BrokerPool pool, Configuration config ) {
public DBBroker( BrokerPool pool, Configuration config ) throws EXistException {
    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;    }