../ jadex-addonmaven-3.0.71.zip 24-Oct-2017 08:02 4101166 jadex-addonmgmt-3.0.71.zip 24-Oct-2017 08:02 1596248 jadex-addonsecure-3.0.71.zip 24-Oct-2017 08:02 37962 jadex-pro-3.0.71.zip 24-Oct-2017 08:02 118109907 jadex-relaystandalone-3.0.71.zip 24-Oct-2017 08:02 44927808 version.txt 24-Oct-2017 08:02 7