msgno = r.getNumber();
r.skipSpaces();
if (r.readByte() != '(")
throw new ParsingException("ENVELOPE parse error");
String s = r.readString();
if (s != null) {
try {
date = mailDateFormat.parse(s);
} catch (Exception pex) {
// We need to be *very* tolerant about bogus dates (and
// there's lot of 'em around), so we ignore any
// exception (including RunTimeExceptions) and just let
// date be null.
}
}
subject = r.readString();
from = parseAddressList(r);
sender = parseAddressList(r);
replyTo = parseAddressList(r);
to = parseAddressList(r);
cc = parseAddressList(r);
bcc = parseAddressList(r);
inReplyTo = r.readString();
messageId = r.readString();
if (r.readByte() != ')")
throw new ParsingException("ENVELOPE parse error");