diff -r 707c247194be -r 91dacb5b6574 src/Pure/Admin/component_sqlite.scala
--- a/src/Pure/Admin/component_sqlite.scala	Mon Dec 16 13:32:36 2024 +0100
+++ b/src/Pure/Admin/component_sqlite.scala	Mon Dec 16 13:51:32 2024 +0100
@@ -11,10 +11,10 @@
   /* build sqlite */
 
   val default_main_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.45.2.0/sqlite-jdbc-3.45.2.0.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.47.1.0/sqlite-jdbc-3.47.1.0.jar"
 
   val default_logger_url =
-    "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/1.7.36/slf4j-api-1.7.36.jar"
+    "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
 
   private def jar_name(url: String): String = {
     Url.get_base_name(url, suffix = ".jar") getOrElse