/** Creates a named mailbox based on an unnamed mailbox. */
public NamedMailbox(String name, Mailbox baseMailbox) {
super(baseMailbox.getRoute(), baseMailbox.getLocalPart(), baseMailbox.getDomain());
this.name = name;
}
/** Creates a named mailbox based on an unnamed mailbox. */
public NamedMailbox(String name, Mailbox baseMailbox) {
super(baseMailbox.getRoute(), baseMailbox.getLocalPart(), baseMailbox.getDomain());
this.name = name;
}