designationComboBox.setSelectedItem(value); designationChanged=true; guiLayout.makeCommentsVisible();
designationChanged = true; changeDesignationOfBug(currentSelectedBugLeaf, ConvertMenuDesignationName(value));
	void setDesignation(String value) {		if (currentSelectedBugLeaf != null) {			designationComboBox.setSelectedItem(value);			designationChanged=true;			guiLayout.makeCommentsVisible();		}	}