diff -r 5acb1eece41b -r 0b0680016187 Admin/components/main
--- a/Admin/components/main	Wed Oct 17 07:50:46 2018 +0200
+++ b/Admin/components/main	Wed Oct 17 16:53:45 2018 +0200
@@ -16,9 +16,9 @@
 postgresql-42.2.5
 scala-2.12.7
 smbc-0.4.1
-ssh-java-20161009
 spass-3.8ds-1
 sqlite-jdbc-3.23.1
+ssh-java-20161009
 vampire-4.2.2
 xz-java-1.8
 z3-4.4.0pre-2