code: public Instant dateHeader(String k) {
      String d = header(k);
      return (d == null) ? null : parseDate(d);
    }
docs: Return the value for a date header. The return value will be null if the header does
  not exist or if it cannot be parsed correctly as a date.