code: public String getPressCommand (int keyCode)
      {
          KeyRecord krec = _keys.get(keyCode);
          return (krec == null) ? null : krec.pressCommand;
      }
docs: documentation inherited from interface KeyTranslator