}
private MailboxAST parseMailbox() throws ParseException {
pushPosition();
pushSpelling();
LocalPartAST localPartAST = parseLocalPart();
accept('@');
RemotePartAST remotePartAST = parseRemotePart();
return new MailboxAST(popPosition(), popSpelling(), localPartAST,
remotePartAST);
}