--- a/Admin/components/main Mon Feb 01 14:01:01 2021 +0100
+++ b/Admin/components/main Mon Feb 01 17:15:00 2021 +0100
@@ -4,7 +4,7 @@
csdp-6.1.1
cvc4-1.8
e-2.5-1
-flatlaf-1.0-rc1
+flatlaf-1.0-rc2
isabelle_fonts-20190717
jdk-15.0.2+7
jedit_build-20201223