if (selectedFile != file)
if (selectedFile == null || !selectedFile.equals(file))
  public void setSelectedFile(File file)  {    if (selectedFile != file)      {	File old = selectedFile;	selectedFile = file;	firePropertyChange(SELECTED_FILE_CHANGED_PROPERTY, old, selectedFile);      }  }