MailboxFactory now carries the effectively final Properties set manager.