public void setFileFilter(FileFilter filter) {  }
public void setFileFilter(FileFilter filter) { if (currentFilter != filter) { FileFilter old = currentFilter; currentFilter = filter; firePropertyChange(FILE_FILTER_CHANGED_PROPERTY, old, currentFilter); } }
	public void setFileFilter(FileFilter filter) {		// TODO	} // setFileFilter()