System.out.println("getKeyStrokeText " + lastKeyMnemonic);
   public final static String getKeyStrokeText(KeyEvent ke,boolean isAltGr) {      if (!workStroke.equals(ke,isAltGr)) {         workStroke.setAttributes(ke,isAltGr);         lastKeyMnemonic = (String)mappedKeys.get(workStroke);      }      return lastKeyMnemonic;   }