Bug 153888 [Markers] Marker views update on each resource delta (was: Problems view flashes when launching anything)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
* @param event
		 * @param markerTypes
		 * @param needsUpdate
		 * @return boolean
		 */
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
		
	};
	private class ContextProvider implements IContextProvider {