private Mailbox mailbox(String name, boolean create) { return mailbox(name, create, true); }
private Mailbox mailbox(String name, boolean create, boolean throwexn) {
if (name.equalsIgnoreCase("inbox")) return inbox;
+ if (name.equalsIgnoreCase("trash")) name = "trash";
MailTree mt = mailboxTree(name, create, throwexn);
/* FIXME: throw throwexn here
if (mt==null || mt.getMailbox()==null)