../ jadex-addonmaven-3.0.0-RC32.zip 29-Mar-2016 08:52 4186797 jadex-addonmgmt-3.0.0-RC32.zip 29-Mar-2016 08:52 1570158 jadex-addonsecure-3.0.0-RC32.zip 29-Mar-2016 08:52 64741 jadex-pro-3.0.0-RC32.zip 29-Mar-2016 08:52 134756680 jadex-relaystandalone-3.0.0-RC32.zip 29-Mar-2016 08:52 49564722 version.txt 29-Mar-2016 08:52 11