diff -r 832139c1b268 -r 08ed864fed24 src/Pure/Admin/component_sqlite.scala
--- a/src/Pure/Admin/component_sqlite.scala	Wed Mar 08 22:40:15 2023 +0100
+++ b/src/Pure/Admin/component_sqlite.scala	Wed Mar 08 22:40:47 2023 +0100
@@ -11,7 +11,7 @@
   /* build sqlite */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.39.4.1/sqlite-jdbc-3.39.4.1.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.41.0.0/sqlite-jdbc-3.41.0.0.jar"
 
   def build_sqlite(
     download_url: String = default_download_url,