../ jadex-addonmaven-3.0.95.zip 08-Jun-2018 16:58 4101162 jadex-addonmgmt-3.0.95.zip 08-Jun-2018 16:58 1596152 jadex-addonsecure-3.0.95.zip 08-Jun-2018 16:58 37943 jadex-pro-3.0.95.zip 08-Jun-2018 16:58 118231143 jadex-relaystandalone-3.0.95.zip 08-Jun-2018 16:58 44981259 version.txt 08-Jun-2018 16:58 7