--- a/Admin/components/main Mon Nov 30 15:51:29 2020 +0100
+++ b/Admin/components/main Mon Nov 30 16:22:42 2020 +0100
@@ -7,7 +7,7 @@
isabelle_fonts-20190717
jdk-11.0.9+11
jedit_build-20200908
-jfreechart-1.5.0
+jfreechart-1.5.1
jortho-1.0-2
kodkodi-1.5.6
nunchaku-0.5