diff -r a7241e5db601 -r 0d7c7fe65638 src/Pure/General/mail.scala
--- 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}