--- a/Admin/components/main Fri May 04 16:22:09 2018 +0200
+++ b/Admin/components/main Fri May 04 21:46:58 2018 +0200
@@ -6,7 +6,7 @@
e-2.0-1
isabelle_fonts-20180113
jdk-8u172
-jedit_build-20180417
+jedit_build-20180504
jfreechart-1.5.0
jortho-1.0-2
kodkodi-1.5.2