--- a/Admin/components/main Tue Apr 17 10:22:42 2018 +0100
+++ b/Admin/components/main Tue Apr 17 14:48:55 2018 +0200
@@ -6,7 +6,7 @@
e-2.0-1
isabelle_fonts-20180113
jdk-8u162
-jedit_build-20170319
+jedit_build-20180417
jfreechart-1.0.14-1
jortho-1.0-2
kodkodi-1.5.2