for (int i = 0; i < mapKeys.length; ++i) bothKeys[i + superKeys.length] = mapKeys[i];
for (int i = 0; i < mkl; ++i) bothKeys[i + skl] = mapKeys[i];
    public KeyStroke[] allKeys()    {      KeyStroke[] superKeys = super.allKeys();      KeyStroke[] mapKeys = map.getBoundKeyStrokes();       KeyStroke[] bothKeys = new KeyStroke[superKeys.length + mapKeys.length];      for (int i = 0; i < superKeys.length; ++i)        bothKeys[i] = superKeys[i];      for (int i = 0; i < mapKeys.length; ++i)        bothKeys[i + superKeys.length] = mapKeys[i];      return bothKeys;    }