throw new Error("not implemented");
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;
    public Object createValue(UIDefaults table)    {      throw new Error("not implemented");    }