# HG changeset patch
# User wenzelm
# Date 1671831194 -3600
# Node ID 10f155d5f34b0a0d1329e227f983c51e83c19ca3
# Parent  e9c48303ed1151f9788f641df4a3b061292a6c04
update URL;

diff -r e9c48303ed11 -r 10f155d5f34b src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Fri Dec 23 15:42:52 2022 +0100
+++ b/src/Doc/System/Scala.thy	Fri Dec 23 22:33:14 2022 +0100
@@ -152,7 +152,7 @@
 
   \<^medskip>
   The syntax of \<^path>\<open>etc/build.props\<close> follows a regular Java properties
-  file\<^footnote>\<open>\<^url>\<open>https://docs.oracle.com/en/java/javase/15/docs/api/java.base/java/util/Properties.html#load(java.io.Reader)\<close>\<close>,
+  file\<^footnote>\<open>\<^url>\<open>https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/util/Properties.html#load(java.io.Reader)\<close>\<close>,
   but the encoding is \<^verbatim>\<open>UTF-8\<close>, instead of historic \<^verbatim>\<open>ISO 8859-1\<close> from the API
   documentation.