# HG changeset patch
# User wenzelm
# Date 1698513182 -7200
# Node ID 6fdcd6c8c97ae7ffff4f2342851069867c46eba7
# Parent  35b406a5c105537359fe10c0c0b252c83f8720c1
prefer old-style import "=>";

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