Bug 282535 [Markers] The Problem view does not update the status line
Build ID: M20090211-1700 Steps To Reproduce: 1. Set the "Build Automatically" property to true 1. Edit a JAVA file and introduce an error on purpose 2. Save the file => The error is displayed in the Problems View 3. Click on that error in the Problems view => the status line is updated to show the error description 4. Fix the problem in the JAVA file and save it => the Problems view is cleared 5. Set the focus on the Problems view = > the status line is updated to show the error description although this error was fixed More information:
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java
* org.eclipse.ui.IMemento)
	 */
	public void init(IViewSite site, IMemento memento) throws PartInitException {
		super.init(site, memento);
		MarkerContentGenerator generator = null;
		if (memento != null) {
			generator = MarkerSupportRegistry.getInstance().getGenerator(
					memento.getString(TAG_GENERATOR));
		}
		if (generator == null && defaultGeneratorIds.length > 0) {
			generator = MarkerSupportRegistry.getInstance().getGenerator(
					defaultGeneratorIds[0]);
			if (generator == null)
				logInvalidGenerator(defaultGeneratorIds[0]);
		}
		if (generator == null)
			generator = MarkerSupportRegistry.getInstance()
					.getDefaultGenerator();
		
		IMenuService menuService = (IMenuService) site
				.getService(IMenuService.class);
		
		menuService.populateContributionManager((ContributionManager) site
				.getActionBars().getMenuManager(), "menu:" 
				+ MarkerSupportRegistry.MARKERS_ID);
		menuService.populateContributionManager((ContributionManager) site
				.getActionBars().getToolBarManager(),
				"toolbar:" + MarkerSupportRegistry.MARKERS_ID); 
		String viewId = site.getId();
		if (site.getSecondaryId() != null) {