--- a/src/Pure/General/mail.scala Mon Jan 08 23:44:02 2024 +0100
+++ b/src/Pure/General/mail.scala Tue Jan 09 17:35:56 2024 +0100
@@ -8,8 +8,8 @@
import java.util.{Properties => JProperties}
-import javax.mail.internet.{InternetAddress, MimeMessage}
-import javax.mail.{AuthenticationFailedException, Authenticator, Message, MessagingException,
+import jakarta.mail.internet.{InternetAddress, MimeMessage}
+import jakarta.mail.{AuthenticationFailedException, Authenticator, Message, MessagingException,
PasswordAuthentication, Transport as JTransport, Session => JSession}