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