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