public final static String getKeyStrokeText(KeyEvent ke,boolean isAltGr) { if (!workStroke.equals(ke,isAltGr)) { workStroke.setAttributes(ke,isAltGr); lastKeyMnemonic = (String)mappedKeys.get(workStroke); }  if (lastKeyMnemonic != null && lastKeyMnemonic.endsWith(".alt2")) {  lastKeyMnemonic = lastKeyMnemonic.substring(0,lastKeyMnemonic.indexOf(".alt2")); }  return lastKeyMnemonic;
public final static String getKeyStrokeText(KeyEvent ke) { return getKeyStrokeText(ke,false);
   public final static String getKeyStrokeText(KeyEvent ke,boolean isAltGr) {      if (!workStroke.equals(ke,isAltGr)) {         workStroke.setAttributes(ke,isAltGr);         lastKeyMnemonic = (String)mappedKeys.get(workStroke);      }      if (lastKeyMnemonic != null && lastKeyMnemonic.endsWith(".alt2")) {         lastKeyMnemonic = lastKeyMnemonic.substring(0,lastKeyMnemonic.indexOf(".alt2"));      }      return lastKeyMnemonic;   }