public ENVELOPE(FetchResponse r) throws ParsingException {
this.msgno = r.getNumber();
r.skipSpaces();
if (r.readByte() != (byte) 40) {
throw new ParsingException("ENVELOPE parse error");
}
String s = r.readString();
if (s != null) {
try {
this.date = mailDateFormat.parse(s);
} catch (Exception e) {
}
}
this.subject = r.readString();
this.from = parseAddressList(r);
this.sender = parseAddressList(r);
this.replyTo = parseAddressList(r);
this.to = parseAddressList(r);
this.cc = parseAddressList(r);
this.bcc = parseAddressList(r);
this.inReplyTo = r.readString();
this.messageId = r.readString();
if (r.readByte() != (byte) 41) {
throw new ParsingException("ENVELOPE parse error");
}
}
public UID(FetchResponse r) throws ParsingException {
this.seqnum = r.getNumber();
r.skipSpaces();
this.uid = r.readLong();
}
