public void setFileHidingEnabled(boolean enabled) {  }
public void setFileHidingEnabled(boolean b) { if (fileHiding != b) { fileHiding = b; firePropertyChange(FILE_HIDING_CHANGED_PROPERTY, ! fileHiding, fileHiding); } }
	public void setFileHidingEnabled(boolean enabled) {		// TODO	} // setFileHidingEnabled()