diff -r 0212956aaf73 -r 6d0985955872 Admin/components/main
--- a/Admin/components/main	Sat Mar 11 16:21:39 2023 +0100
+++ b/Admin/components/main	Sat Mar 11 21:25:24 2023 +0100
@@ -1,6 +1,5 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
-apache-commons-20211211
 bash_process-1.3
 bib2xhtml-20190409
 csdp-6.1.1
@@ -17,6 +16,7 @@
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2
+jsoup-1.15.4
 kodkodi-1.5.7
 lipics-3.1.2
 llncs-2.22