mappedKeys.put(new KeyStroker(ke.getKeyCode(), ke.isShiftDown(), ke.isControlDown(), ke.isAltDown(), isAltGr),which);
mappedKeys.put(newKeyStroker(ke),which);
   public final static void setKeyStroke(String which, KeyEvent ke, boolean isAltGr) {      if (ke == null)         return;      Collection v = mappedKeys.values();      Set o = mappedKeys.keySet();      Iterator k = o.iterator();      Iterator i = v.iterator();      while (k.hasNext()) {         KeyStroker ks = (KeyStroker)k.next();         String keyVal = (String)i.next();         if (keyVal.equals(which)) {            mappedKeys.remove(ks);            mappedKeys.put(new KeyStroker(ke.getKeyCode(),                                          ke.isShiftDown(),                                          ke.isControlDown(),                                          ke.isAltDown(),                                          isAltGr),keyVal);            return;         }      }      // if we got here it was a dead key and we need to add it.      mappedKeys.put(new KeyStroker(ke.getKeyCode(),                                    ke.isShiftDown(),                                    ke.isControlDown(),                                    ke.isAltDown(),                                    isAltGr),which);   }