--- a/Admin/components/main Mon Feb 01 17:15:00 2021 +0100
+++ b/Admin/components/main Mon Feb 01 18:12:44 2021 +0100
@@ -7,7 +7,7 @@
flatlaf-1.0-rc2
isabelle_fonts-20190717
jdk-15.0.2+7
-jedit_build-20201223
+jedit_build-20210201
jfreechart-1.5.1
jortho-1.0-2
kodkodi-1.5.6