// no jdt, nevermind
InstaSearchPlugin.debug(ignored);
}
if( indexer == null )
indexer = new WorkspaceIndexer(); // create default indexer
searcher = new Searcher(getSearcherConfig());
indexer.setIndexChangeListener(searcher);
InstaSearchPlugin.addPreferenceChangeListener(indexer);