im.put (KeyStroke.getKeyStroke ((String) bind[2*i]),
Object curr = bind[2*i]; if (curr instanceof KeyStroke) im.put((KeyStroke) curr, bind[2*i+1]); else im.put(KeyStroke.getKeyStroke((String) curr),
    public Object createValue(UIDefaults table)    {      InputMap im = new InputMap ();      for (int i = 0; 2*i+1 < bind.length; ++i)        {          im.put (KeyStroke.getKeyStroke ((String) bind[2*i]),                  bind[2*i+1]);        }      return im;    }