protected IndexManager getIndexManager() {
   return IndexPlugin.getDefault().getIndexManager();
 }
Ejemplo n.º 2
0
 protected IndexManager getIndexManager() {
   IndexPlugin plugin = IndexPlugin.getDefault();
   return (plugin == null) ? null : plugin.getIndexManager();
 }