Bug 74171 [preferences] Pref page; Restore defaults does not reset error status correctly
Version: 3.1.0 Build id: 200409140800 @@@@ Window/Preferences/Java/Editor/Hovers Select "Variable Values" Enter "Ctrl" as its hover. Delete "Ctrl" in text area so that it is empty. Click on "Restore Defaults". Observe the error will still be there.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorHoverConfigurationBlock.java
import org.eclipse.jdt.internal.ui.dialogs.StatusInfo;
import org.eclipse.jdt.internal.ui.dialogs.StatusUtil;
import org.eclipse.jdt.internal.ui.text.java.hover.JavaEditorTextHoverDescriptor;
import org.eclipse.jdt.internal.ui.util.PixelConverter;
import org.eclipse.jdt.internal.ui.util.SWTUtil;
import org.eclipse.jdt.internal.ui.util.TableLayoutComposite;
/**
 * Configures Java Editor hover preferences.
 * 
 * @since 2.1
 */
class JavaEditorHoverConfigurationBlock {
	private static final String DELIMITER= PreferencesMessages.getString("JavaEditorHoverConfigurationBlock.delimiter"); 
	private static final int ENABLED_PROP= 0;
	private static final int MODIFIER_PROP= 1;
	
	private static class HoverConfig {
		
		private String fModifierString;
		private boolean fIsEnabled;
		private int fStateMask;
		private HoverConfig(String modifier, int stateMask, boolean enabled) {
			fModifierString= modifier;
			fIsEnabled= enabled;
			fStateMask= stateMask;
		}
	}
	
	
	private class JavaEditorTextHoverDescriptorLabelProvider implements ITableLabelProvider {