+ SOURCE_PATH=/home/data/httpd/download.eclipse.org/diffmerge/stable/0.14.0-S20220817 + ssh genie.diffmerge@projects-storage.eclipse.org ls /home/data/httpd/download.eclipse.org/diffmerge/stable/0.14.0-S20220817 edm-coevolution-site edm-patterns-site emf-diffmerge-site standalone + '[' -n '' ']' + '[' -n '' ']'