../ jadex-addon3d-3.0.0-RC32.zip 29-Mar-2016 08:52 57277300 jadex-addonws-3.0.0-RC32.zip 29-Mar-2016 08:52 14393123 jadex-android-3.0.0-RC32.zip 29-Mar-2016 08:52 36258032 jadex-editorbpmn-3.0.0-RC32.zip 29-Mar-2016 08:52 13838809 jadex-minimal-3.0.0-RC32.zip 29-Mar-2016 08:52 16562372 jadex-standard-3.0.0-RC32.zip 29-Mar-2016 08:52 82375800 version.txt 29-Mar-2016 08:52 11