../ jadex-addonmaven-3.0.99.zip 15-Jun-2018 05:03 4101163 jadex-addonmgmt-3.0.99.zip 15-Jun-2018 05:03 1596148 jadex-addonsecure-3.0.99.zip 15-Jun-2018 05:03 37943 jadex-pro-3.0.99.zip 15-Jun-2018 05:03 118237573 jadex-relaystandalone-3.0.99.zip 15-Jun-2018 05:03 44980479 version.txt 15-Jun-2018 05:03 7