--- a/Admin/components/main Fri Mar 19 23:37:12 2021 +0100
+++ b/Admin/components/main Sun Mar 21 23:03:31 2021 +0100
@@ -5,7 +5,7 @@
cvc4-1.8
e-2.5-1
flatlaf-1.0
-isabelle_fonts-20210319
+isabelle_fonts-20210321
jdk-15.0.2+7
jedit_build-20210201
jfreechart-1.5.1