../ jadex-addonmaven-3.0.81.zip 14-Dec-2017 15:42 4101191 jadex-addonmgmt-3.0.81.zip 14-Dec-2017 15:42 1596256 jadex-addonsecure-3.0.81.zip 14-Dec-2017 15:42 37953 jadex-pro-3.0.81.zip 14-Dec-2017 15:42 118167901 jadex-relaystandalone-3.0.81.zip 14-Dec-2017 15:42 44967807 version.txt 14-Dec-2017 15:42 7