public void setDisplayedMnemonic(char aChar)
public void setDisplayedMnemonic(int 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));      }  }