--- a/src/Pure/General/mail.scala Sat Oct 28 17:35:26 2023 +0200
+++ b/src/Pure/General/mail.scala Sat Oct 28 19:13:02 2023 +0200
@@ -7,9 +7,10 @@
package isabelle
-import java.util.Properties as JProperties
+import java.util.{Properties => JProperties}
import javax.mail.internet.{InternetAddress, MimeMessage}
-import javax.mail.{AuthenticationFailedException, Authenticator, Message, MessagingException, PasswordAuthentication, Transport as JTransport, Session as JSession}
+import javax.mail.{AuthenticationFailedException, Authenticator, Message, MessagingException,
+ PasswordAuthentication, Transport as JTransport, Session => JSession}
object Mail {