# HG changeset patch
# User wenzelm
# Date 1666955907 -7200
# Node ID 5ca3391244a3072550c32d83bc74848d9357ae5b
# Parent  46d4ebc2582ccf7057ef6d293aa82a34e97fac3f
proper Java syntax (amending ea79c21bcc47);

diff -r 46d4ebc2582c -r 5ca3391244a3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Oct 28 13:15:11 2022 +0200
+++ b/Admin/components/components.sha1	Fri Oct 28 13:18:27 2022 +0200
@@ -159,6 +159,7 @@
 be91402b3e5ef5bc6d4802a45175ee238cd9653e isabelle_setup-20220808.tar.gz
 171df3eb58bdac4cc495f773b797fa578f7d4be6 isabelle_setup-20220817.tar.gz
 7b1ce9bd85e33076fa7022eeb66ce15915d078d9 isabelle_setup-20221020.tar.gz
+cb9f061ccd7c6f90d00c8aa115aeea8679f3f996 isabelle_setup-20221028.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
 e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
diff -r 46d4ebc2582c -r 5ca3391244a3 Admin/components/main
--- a/Admin/components/main	Fri Oct 28 13:15:11 2022 +0200
+++ b/Admin/components/main	Fri Oct 28 13:18:27 2022 +0200
@@ -9,7 +9,7 @@
 flatlaf-2.4
 idea-icons-20210508
 isabelle_fonts-20211004
-isabelle_setup-20221020
+isabelle_setup-20221028
 jdk-17.0.4.1+1
 jedit-20211103
 jfreechart-1.5.3
diff -r 46d4ebc2582c -r 5ca3391244a3 src/Tools/Setup/src/Environment.java
--- a/src/Tools/Setup/src/Environment.java	Fri Oct 28 13:15:11 2022 +0200
+++ b/src/Tools/Setup/src/Environment.java	Fri Oct 28 13:18:27 2022 +0200
@@ -180,7 +180,7 @@
 
     /* raw process */
 
-    private static read_file(path: Path): String =
+    private static String read_file(Path path) throws IOException
     {
         return new String(Files.readAllBytes(path), StandardCharsets.UTF_8);
     }