fix for long outstanding bug in MailSenderStub that was caused by ignoring SynchronizedSet's javadoc