../ jadex-addonmaven-3.0.112.zip 26-Nov-2018 16:44 4101241 jadex-addonmgmt-3.0.112.zip 26-Nov-2018 16:44 1596200 jadex-addonsecure-3.0.112.zip 26-Nov-2018 16:44 37951 jadex-pro-3.0.112.zip 26-Nov-2018 16:44 118240860 jadex-relaystandalone-3.0.112.zip 26-Nov-2018 16:44 44983135 version.txt 26-Nov-2018 16:44 8