Added javadoc for Mailbox.run