Bug 213139 [Markers] Forms in problems filtering configuration dialog doesn't grab vertical space
type list in marker filtering configuration dialog doesn't grab vertical space
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/TypesConfigurationArea.java
*      java.util.Collection)
		 */
		public void addElementsMatching(Collection selectedTypes,
				Collection entries) {
			Iterator childIterator = children.iterator();
			while (childIterator.hasNext()) {
				((MarkerTypeEntry) childIterator.next()).addElementsMatching(
						selectedTypes, entries);
			}
		}
		/*
		 * (non-Javadoc)
		 * 
		 * @see org.eclipse.ui.internal.provisional.views.markers.TypesConfigurationArea.TypesEntry#getChildren()
		 */
		public Collection getChildren() {
			return children;
		}
		/*
		 * (non-Javadoc)
		 * 
		 * @see org.eclipse.ui.internal.provisional.views.markers.TypesConfigurationArea.TypesEntry#getLabel()
		 */
		public String getLabel() {
			return name;
		}
		/*
		 * (non-Javadoc)
		 * 
		 * @see org.eclipse.ui.internal.provisional.views.markers.TypesConfigurationArea.TypesEntry#getParent()