diff -r 9b89d831dc80 -r 9e8214deed3e Admin/components/main
--- 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