code: public String header(String k) {
      List<String> vs = headers.get(k);
      return (vs == null || vs.isEmpty()) ? null : vs.get(0);
    }
docs: Return the value for the first occurrence of a given header or null if not found.