fFilteredIndices= new int[length]; fFilteredCount= filter();
fFilteredIndices= new int[length];
	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];		Set imageSet= new HashSet();		for (int i= 0; i != length; i++) {			String text= fRenderer.getText(fElements[i]);			Image image= fRenderer.getImage(fElements[i]);						fLabels[i]= new Label(text, image);							imageSet.add(image);		}		fImages.clear();		fImages.addAll(imageSet);		fSorter.sort(fLabels, fElements);		fFilteredIndices= new int[length];		fFilteredCount= filter();				fFoldedIndices= new int[length];		fFoldedCount= fold();		updateList();	}