code: public Enumeration getHeaders(String s)
      {
          Enumeration enm=_httpRequest.getFieldValues(s);
          if (enm==null)
              return __emptyEnum;
          return enm;
      }
docs: /* ------------------------------------------------------------