--- a/Admin/components/main Wed Jul 27 12:28:53 2022 +0200
+++ b/Admin/components/main Wed Jul 27 12:38:50 2022 +0200
@@ -6,7 +6,7 @@
csdp-6.1.1
cvc4-1.8
e-2.6-1
-flatlaf-1.6.4
+flatlaf-2.4
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20220701