--- a/Admin/components/components.sha1 Wed Jan 22 22:22:37 2025 +0000
+++ b/Admin/components/components.sha1 Thu Jan 23 13:42:58 2025 +0100
@@ -187,6 +187,7 @@
cd92c141883f0f6a18adceb885316c8b6119e648 isabelle_setup-20240327.tar.gz
f23037b322b968c61350f9ec9995a4f397e6c71c javamail-1.4.7.tar.gz
18e6b60ceb98e327fbf14e52f4613dd5b0483d2f javamail-20240109.tar.gz
+dc826bc0d715cd4190d1bb2e7122321eea5355de javamail-20250122.tar.gz
0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
--- a/Admin/components/main Wed Jan 22 22:22:37 2025 +0000
+++ b/Admin/components/main Thu Jan 23 13:42:58 2025 +0100
@@ -13,7 +13,7 @@
idea-icons-20210508
isabelle_fonts-20241227
isabelle_setup-20240327
-javamail-20240109
+javamail-20250122
jdk-21.0.5
jedit-20241115
jfreechart-1.5.3
--- a/src/Pure/Admin/component_javamail.scala Wed Jan 22 22:22:37 2025 +0000
+++ b/src/Pure/Admin/component_javamail.scala Thu Jan 23 13:42:58 2025 +0100
@@ -33,10 +33,10 @@
val jars =
List(
- Jar("jakarta.mail", "jakarta.mail-api", "2.1.2"),
- Jar("jakarta.activation", "jakarta.activation-api", "2.1.2"),
- Jar("org.eclipse.angus", "angus-mail", "2.0.2"),
- Jar("org.eclipse.angus", "angus-activation", "2.0.1"))
+ Jar("jakarta.mail", "jakarta.mail-api", "2.1.3"),
+ Jar("jakarta.activation", "jakarta.activation-api", "2.1.3"),
+ Jar("org.eclipse.angus", "angus-mail", "2.0.3"),
+ Jar("org.eclipse.angus", "angus-activation", "2.0.2"))
/* build javamail */