prefer old-style import "=>";

--- a/src/Pure/General/bytes.scala	Sat Oct 28 17:35:26 2023 +0200
+++ b/src/Pure/General/bytes.scala	Sat Oct 28 19:13:02 2023 +0200
@@ -7,7 +7,8 @@
 package isabelle
 
 
-import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream, InputStream, OutputStream, File as JFile}
+import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream,
+  InputStream, OutputStream, File => JFile}
 import java.net.URL
 import java.nio.ByteBuffer
 import java.nio.channels.FileChannel

--- 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 {