Bug 230903 [Markers] Problems view > Configure Contents... gray-checks fully selected type categories
I20080502-0100 Problems view > Configure Contents... gray-checks fully selected type categories. Steps: - create new configuration - check API Problems - uncheck API Problems > API Usage Problems - check API Problems > API Usage Problems => expected: API Problems checked again => was: API Problems gray-checked
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/TypesConfigurationArea.java
/**
		 * Return the children of the receiver.
		 * 
		 * @return TypesEntry[]
		 */
		public abstract Collection getChildren();
		/**
		 * Return the label for the receiver.
		 * 
		 * @return String
		 */
		public abstract String getLabel();
		/**
		 * Return the parent of the receiver.
		 * 
		 * @return TypesEntry
		 */
		public abstract TypesEntry getParent();
		/**
		 * Return whether or not the receiver has children.
		 * 
		 * @return boolean
		 */
		public abstract boolean hasChildren();
	}
	private static Collection EMPTY_COLLECTION = new HashSet();
	private HashMap models = new HashMap(0);
	private CheckboxTreeViewer typesViewer;
	/*
	 * (non-Javadoc)