--- a/Admin/components/main Fri Mar 19 13:44:33 2021 +0100
+++ b/Admin/components/main Fri Mar 19 23:35:37 2021 +0100
@@ -5,7 +5,7 @@
cvc4-1.8
e-2.5-1
flatlaf-1.0
-isabelle_fonts-20210318
+isabelle_fonts-20210319
jdk-15.0.2+7
jedit_build-20210201
jfreechart-1.5.1