../ jadex-addonmaven-3.0.88.zip 14-Mar-2018 05:11 4101160 jadex-addonmgmt-3.0.88.zip 14-Mar-2018 05:11 1596192 jadex-addonsecure-3.0.88.zip 14-Mar-2018 05:11 37946 jadex-pro-3.0.88.zip 14-Mar-2018 05:13 118174754 jadex-relaystandalone-3.0.88.zip 14-Mar-2018 05:13 44971928 version.txt 14-Mar-2018 05:17 7