../ jadex-addonmaven-3.0.102.zip 09-Oct-2018 14:34 4101241 jadex-addonmgmt-3.0.102.zip 09-Oct-2018 14:34 1596269 jadex-addonsecure-3.0.102.zip 09-Oct-2018 14:34 37953 jadex-pro-3.0.102.zip 09-Oct-2018 14:34 118239669 jadex-relaystandalone-3.0.102.zip 09-Oct-2018 14:34 44981308 version.txt 09-Oct-2018 14:34 8