fFilteredIndices= new int[length]; fFilteredCount= filter();
	public void setElements(Object[] elements) {		if (elements == null) {			fElements= new Object[0];		} else {			// copy list for sorting			fElements= new Object[elements.length];			System.arraycopy(elements, 0, fElements, 0, elements.length);		}					int length= fElements.length;		// fill labels					fLabels= new Label[length];		for (int i= 0; i != length; i++)			fLabels[i]= new Label(				fRenderer.getText(fElements[i]),				fRenderer.getImage(fElements[i]));		fSorter.sort(fLabels, fElements);				fFoldedIndices= new int[length];		fFoldedCount= fold();		fFilteredIndices= new int[length];			fFilteredCount= filter();		updateList();	}