../ jadex-addonmaven-3.0.7.zip 22-Oct-2016 16:15 4101094 jadex-addonmgmt-3.0.7.zip 22-Oct-2016 16:15 1596106 jadex-addonsecure-3.0.7.zip 22-Oct-2016 16:15 37953 jadex-pro-3.0.7.zip 22-Oct-2016 16:15 116348611 jadex-relaystandalone-3.0.7.zip 22-Oct-2016 16:15 44825301 version.txt 22-Oct-2016 16:15 6