diff -r 35b406a5c105 -r 6fdcd6c8c97a src/Pure/General/mail.scala
--- 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 {