--- a/Admin/components/main Thu Apr 19 12:34:52 2018 +0200
+++ b/Admin/components/main Thu Apr 19 21:14:52 2018 +0200
@@ -7,7 +7,7 @@
isabelle_fonts-20180113
jdk-8u162
jedit_build-20180417
-jfreechart-1.0.14-1
+jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2
nunchaku-0.5