../ jadex-addonmaven-3.0.0.zip 11-Oct-2016 11:53 4101095 jadex-addonmgmt-3.0.0.zip 11-Oct-2016 11:53 1188316 jadex-addonsecure-3.0.0.zip 11-Oct-2016 11:53 37940 jadex-pro-3.0.0.zip 11-Oct-2016 11:53 115801172 jadex-relaystandalone-3.0.0.zip 11-Oct-2016 11:53 44781759 version.txt 11-Oct-2016 11:53 6