Admin/components/main

--- a/Admin/components/main	Sat Jan 09 20:17:56 2021 +0100
+++ b/Admin/components/main	Sat Jan 09 22:14:30 2021 +0100
@@ -4,7 +4,7 @@
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
-flatlaf-0.46
+flatlaf-0.46-1
 isabelle_fonts-20190717
 jdk-15.0.1+9
 jedit_build-20201223