/**
* Message number according to IMAP semantics.
+ * - must range from 1..numMessagesInMailbox
* - no two messages in the same mailbox may have the same imapNumber
* - sorting by uid must yield the same order as sorting them by imapNumber
- * - imapNumber may only change if uidValidity changes
- * - if uidValidity changes, imapNumbers may change or be reused
+ * - imapNumber changes when messages with lower imapNumbers are deleted
*/
public abstract int imapNumber();