firePropertyChange(MNEMONIC_CHANGED_PROPERTY, old, mne);
firePropertyChange(MNEMONIC_CHANGED_PROPERTY, old, (int) mne);
  public void setMnemonic(int mne)  {    int old = mne;    getModel().setMnemonic(mne);    if (old != getModel().getMnemonic())      {        firePropertyChange(MNEMONIC_CHANGED_PROPERTY, old, mne);        revalidate();        repaint();      }  }