../ jadex-addonmaven-3.0.93.zip 05-Jun-2018 12:22 4101174 jadex-addonmgmt-3.0.93.zip 05-Jun-2018 12:22 1596152 jadex-addonsecure-3.0.93.zip 05-Jun-2018 12:22 37942 jadex-pro-3.0.93.zip 05-Jun-2018 12:22 118178143 jadex-relaystandalone-3.0.93.zip 05-Jun-2018 12:22 44974709 version.txt 05-Jun-2018 12:22 7