this.cc = Address.list(headers.get("Cc"));
this.bcc = Address.list(headers.get("Bcc"));
this.date = parseDate(headers.get("Date")) == null ? new Date() : parseDate(headers.get("Date"));
+
+ // RFC2822 requires a "Date" field, so we synthesize one if missing
+ if (headers.get("Date") == null)
+ headers.set("Date", this.date.toString()); // FIXME: formatting
+
this.arrival = this.date; // FIXME wrong; grab this from traces?
}