../ jadex-addonmaven-3.0.98.zip 14-Jun-2018 08:02 4101163 jadex-addonmgmt-3.0.98.zip 14-Jun-2018 08:02 1596152 jadex-addonsecure-3.0.98.zip 14-Jun-2018 08:02 37943 jadex-pro-3.0.98.zip 14-Jun-2018 08:02 118228089 jadex-relaystandalone-3.0.98.zip 14-Jun-2018 08:02 44979907 version.txt 14-Jun-2018 08:02 7