../ jadex-addon3d-3.0.0-RC1.zip 20-Jan-2016 14:36 49997917 jadex-addonws-3.0.0-RC1.zip 20-Jan-2016 14:36 245972 jadex-android-3.0.0-RC1.zip 20-Jan-2016 14:36 15414228 jadex-editorbpmn-3.0.0-RC1.zip 20-Jan-2016 14:36 13243955 jadex-minimal-3.0.0-RC1.zip 20-Jan-2016 14:36 8658001 jadex-standard-3.0.0-RC1.zip 20-Jan-2016 14:36 61294015 version.txt 18-Jan-2016 10:36 10