if (aChar != mnemonicKey) { char oldKey = mnemonicKey; mnemonicKey = aChar; firePropertyChange(DISPLAYED_MNEMONIC_CHANGED_PROPERTY, oldKey, mnemonicKey); if (labelText != null) setDisplayedMnemonicIndex(labelText.indexOf(mnemonicKey)); }
setDisplayedMnemonic((char) key);
  public void setDisplayedMnemonic(char aChar)  {    if (aChar != mnemonicKey)      {	char oldKey = mnemonicKey;	mnemonicKey = aChar;	firePropertyChange(DISPLAYED_MNEMONIC_CHANGED_PROPERTY, oldKey,	                   mnemonicKey);	if (labelText != null)	  setDisplayedMnemonicIndex(labelText.indexOf(mnemonicKey));      }  }