../ jadex-addonmaven-3.0.1.zip 13-Oct-2016 12:47 4101095 jadex-addonmgmt-3.0.1.zip 13-Oct-2016 12:47 1188316 jadex-addonsecure-3.0.1.zip 13-Oct-2016 12:47 37940 jadex-pro-3.0.1.zip 13-Oct-2016 12:47 115801973 jadex-relaystandalone-3.0.1.zip 13-Oct-2016 12:47 44782181 version.txt 13-Oct-2016 12:47 6