--- a/Admin/components/main Tue Mar 16 23:30:51 2021 +0100
+++ b/Admin/components/main Wed Mar 17 22:24:57 2021 +0100
@@ -5,7 +5,7 @@
cvc4-1.8
e-2.5-1
flatlaf-1.0
-isabelle_fonts-20190717
+isabelle_fonts-20210317
jdk-15.0.2+7
jedit_build-20210201
jfreechart-1.5.1