Admin/components/main

--- a/Admin/components/main	Fri Jun 25 12:52:54 2021 +0200
+++ b/Admin/components/main	Fri Jun 25 12:53:56 2021 +0200
@@ -5,7 +5,7 @@
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
-flatlaf-1.0
+flatlaf-1.2
 idea-icons-20210508
 isabelle_fonts-20210322
 jdk-15.0.2+7