fFilteredCount= filter(); fFoldedCount= fold();
	public void setFilter(String filter) {		fFilter= (filter == null) ? "" : filter; //$NON-NLS-1$		fFilteredCount= filter();		fFoldedCount= fold();		updateList();	}