protected IndexManager getIndexManager() {
   return IndexPlugin.getDefault().getIndexManager();
 }
Beispiel #2
0
 protected IndexManager getIndexManager() {
   IndexPlugin plugin = IndexPlugin.getDefault();
   return (plugin == null) ? null : plugin.getIndexManager();
 }