public void setFileView(FileView view) {  }
public void setFileView(FileView fileView) { if (fv != fileView) { FileView old = fv; fv = fileView; firePropertyChange(FILE_VIEW_CHANGED_PROPERTY, old, fv); } }
	public void setFileView(FileView view) {		// TODO	} // setFileView()