code: public String getReleaseCommand (char ch)
      {
          KeyRecord krec = _charCommands.get(ch);
          return (krec == null) ? null : krec.releaseCommand;
      }
docs: documentation inherited from interface KeyTranslator