}
if( indexer == null )
indexer = new WorkspaceIndexer(); // create default indexer
searcher = new Searcher(getSearcherConfig());
indexer.setIndexChangeListener(searcher);
InstaSearchPlugin.addPreferenceChangeListener(indexer);
InstaSearchPlugin.addPreferenceChangeListener(searcher);