public void uninstall(IModel model) { /* * since we do a multi install, we need to make sure we only dispose of the * tool once it has been removed from all */ if (_installedModels.remove(model) && _installedModels.size() == 0) { MarkerManager.get().removeListener(_markerListener); if (_markerIndex != null) { _markerIndex.dispose(); _markerIndex = null; } } }
@Override public void setTraceSink(ITraceSink sink) { if (_markerIndex != null) { _markerIndex.dispose(); _markerIndex = null; } super.setTraceSink(sink); if (_markerIndex == null) { ArchivalSink as = checkForArchivalSink(sink); if (as != null) useIndexer(as); } }