Admin/components/main

--- a/Admin/components/main	Sat May 08 00:31:51 2021 +0200
+++ b/Admin/components/main	Sat May 08 13:06:30 2021 +0200
@@ -6,6 +6,7 @@
 cvc4-1.8
 e-2.5-1
 flatlaf-1.0
+idea-icons-20210508
 isabelle_fonts-20210322
 jdk-15.0.2+7
 jedit_build-20210201