public void setSelectedFile(File file) {  }
public void setSelectedFile(File file) { if (selectedFile != file) { File old = selectedFile; selectedFile = file; firePropertyChange(SELECTED_FILE_CHANGED_PROPERTY, old, selectedFile); } }
	public void setSelectedFile(File file) {		// TODO	} // setSelectedFile()