Bug 262906 [http.registry]initializeDelegate in ServletManager.ServletWrapper should be synchronized
AB sent me an email which among things mentions a problem they encountered while load testing. "The servlet's init() methods are called multiple times whenever we make simultaneous requests to the server before they have been initialized." This is indeed a problem as we wrap each servlet that will look after lazily initializing the servlet and the relevant method -- initalizeMethod is not synchronized.
bundles/org.eclipse.ui.navigator.resources/src/org/eclipse/ui/internal/navigator/resources/actions/WorkingSetActionProvider.java
workingSetFilter.setWorkingSet(null);
						newLabel = null;
					}
				} else {
					
					
					if (emptyWorkingSet) {
						emptyWorkingSet = false;
						workingSetFilter.setWorkingSet(workingSet);
						newLabel = workingSet.getLabel();
					}
				}
			}
			if (viewer != null) {
				if (newLabel != null)
					viewer.getCommonNavigator().setWorkingSetLabel(newLabel);
				viewer.getFrameList().reset();
				viewer.refresh();
			}
		}
		/**
		 * Begin listening to the correct source if not already listening.
		 */
		public synchronized void listen() {
			if (!listening) {
				PlatformUI.getWorkbench().getWorkingSetManager().addPropertyChangeListener(managerChangeListener);
				listening = true;
			}
		}
		/**