workspace.getPathVariableManager().removeChangeListener(this);
// synchronized: protect the collection during iteration
synchronized (registeredMonitors) {
for (Iterator i = registeredMonitors.keySet().iterator(); i.hasNext();) {
IRefreshMonitor monitor = (IRefreshMonitor) i.next();
monitor.unmonitor(null);
}
}
registeredMonitors.clear();
if (RefreshManager.DEBUG)
System.out.println(RefreshManager.DEBUG_PREFIX + " stopping monitor manager."); //$NON-NLS-1$