../ jadex-addonmaven-3.0.73.zip 12-Nov-2017 15:04 4101167 jadex-addonmgmt-3.0.73.zip 12-Nov-2017 15:04 1596262 jadex-addonsecure-3.0.73.zip 12-Nov-2017 15:04 37955 jadex-pro-3.0.73.zip 12-Nov-2017 15:04 118111222 jadex-relaystandalone-3.0.73.zip 12-Nov-2017 15:04 44931241 version.txt 12-Nov-2017 15:04 7