protected void setFilter(String text, boolean refilter) { fSelectionList.setFilter(text, refilter);
protected void setFilter(String text) { if (fFilterText == null) fFilter= text; else fFilterText.setText(text);
	protected void setFilter(String text, boolean refilter) {		fSelectionList.setFilter(text, refilter);	} 