diff --git a/Admin/components/main b/Admin/components/main
--- a/Admin/components/main
+++ b/Admin/components/main
@@ -1,36 +1,35 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
 apache-commons-20211211
 bash_process-1.3
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
 e-2.6-1
 flatlaf-2.4
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20220817
 jdk-17.0.2+8
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.7
 minisat-2.2.1-1
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
 polyml-test-15c840d48c9a
 postgresql-42.5.0
 scala-3.1.3
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
-ssh-java-20190323
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx
 vscode_extension-20220829
 vscodium-1.70.1
 xz-java-1.9
 z3-4.4.0_4.4.1
 zipperposition-2.1-1