if (!workStroke.equals(ke)) { workStroke.setAttributes(ke); lastKeyMnemonic = (String)mappedKeys.get(workStroke); }  return lastKeyMnemonic;
return getKeyStrokeText(ke,false);
   public final static String getKeyStrokeText(KeyEvent ke) {      if (!workStroke.equals(ke)) {         workStroke.setAttributes(ke);         lastKeyMnemonic = (String)mappedKeys.get(workStroke);      }      return lastKeyMnemonic;   }