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/FiltersConfigurationDialog.java
private static final String SELECTED_FILTER_GROUP = "SELECTED_FILTER_GROUP"; 
	private Collection filterGroups;
	private CheckboxTableViewer filtersList;
	private GroupFilterConfigurationArea scopeArea = new ScopeArea();
	private MarkerFieldFilterGroup selectedFilterGroup;
	private ScrolledForm form;
	private CachedMarkerBuilder builder;
	private Collection filterAreas;
	private boolean andFilters = false;
	private Button removeButton;