--- a/Admin/components/main Tue Jan 19 13:26:38 2021 +0100
+++ b/Admin/components/main Tue Jan 19 13:48:53 2021 +0100
@@ -4,7 +4,7 @@
csdp-6.1.1
cvc4-1.8
e-2.5-1
-flatlaf-0.46-1
+flatlaf-1.0-rc1
isabelle_fonts-20190717
jdk-15.0.1+9
jedit_build-20201223