}
term.getConstantCombo().setSelectedItem(selectedPref);
// NameCombo
final JComboBox namedConstCombo = new JComboBox();
namedConstCombo.addFocusListener(this.comboBoxFocusListener);
namedConstCombo.addItemListener( new ItemListener() {
@Override
public void itemStateChanged(final ItemEvent evt) {
if (evt.getStateChange() == ItemEvent.SELECTED) {
final JComboBox selectedChoice = (JComboBox)evt.getSource();
term.setPrefixForName(selectedChoice.getSelectedItem().toString());