}
@Override
public void dispose() {
Activator activator = Activator.getDefault();
if (activator == null)
return;
IndexDiffCache indexDiffCache = activator.getIndexDiffCache();
if (indexDiffCache != null)
indexDiffCache.removeIndexDiffChangedListener(indexChangeListener);
ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceChangeListener);
subscriber.dispose();