../ jadex-addonmaven-3.0.94.zip 05-Jun-2018 14:28 4101163 jadex-addonmgmt-3.0.94.zip 05-Jun-2018 14:28 1596151 jadex-addonsecure-3.0.94.zip 05-Jun-2018 14:28 37942 jadex-pro-3.0.94.zip 05-Jun-2018 14:28 118229424 jadex-relaystandalone-3.0.94.zip 05-Jun-2018 14:28 44980377 version.txt 05-Jun-2018 14:28 7