diff -r 26ff119fb140 -r 3b93da12e9bd src/Pure/Admin/component_jsoup.scala
--- a/src/Pure/Admin/component_jsoup.scala	Mon Dec 16 12:55:39 2024 +0100
+++ b/src/Pure/Admin/component_jsoup.scala	Mon Dec 16 13:08:32 2024 +0100
@@ -11,7 +11,7 @@
   /* build jsoup */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.17.2/jsoup-1.17.2.jar"
+    "https://repo1.maven.org/maven2/org/jsoup/jsoup/1.18.3/jsoup-1.18.3.jar"
 
   def build_jsoup(
     download_url: String = default_download_url,