../ jadex-addonmaven-3.0.115.zip 10-Jan-2019 15:42 4101242 jadex-addonmgmt-3.0.115.zip 10-Jan-2019 15:42 1596201 jadex-addonsecure-3.0.115.zip 10-Jan-2019 15:42 37951 jadex-pro-3.0.115.zip 10-Jan-2019 15:42 118171632 jadex-relaystandalone-3.0.115.zip 10-Jan-2019 15:42 44985280 version.txt 10-Jan-2019 15:43 8