../ jadex-addonmaven-3.0.0-RC80.zip 26-Sep-2016 12:33 4186661 jadex-addonmgmt-3.0.0-RC80.zip 26-Sep-2016 12:33 1569501 jadex-addonsecure-3.0.0-RC80.zip 26-Sep-2016 12:33 64682 jadex-pro-3.0.0-RC80.zip 26-Sep-2016 12:33 132863967 jadex-relaystandalone-3.0.0-RC80.zip 26-Sep-2016 12:33 50285454 version.txt 26-Sep-2016 12:33 11