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/src/org/eclipse/ui/internal/navigator/extensions/INavigatorContentExtPtConstants.java
String ATT_PROVIDES_SAVEABLES = "providesSaveables"; 
	
	
	String ATT_CONTENT_PROVIDER = "contentProvider"; 
	
	String ATT_LABEL_PROVIDER = "labelProvider"; 
	
	String ATT_VIEWER_FILTER = "viewerFilter"; 
	
	String ATT_ACTION_PROVIDER = "actionProvider";   
	
	String ATT_DEPENDS_ON = "dependsOn"; 	
	
	
	String ATT_OVERRIDES = "overrides"; 	
	
	
	String ATT_POLICY = "policy"; 
	
	
	String ATT_SUPPRESSED_EXT_ID = "suppressedExtensionId";   
	
	
	String ATT_MENU_GROUP_ID = "menuGroupId"; 
	
	
	String ATT_ASSOCIATED_EXTENSION_ID = "associatedExtensionId"; 
}