../ jadex-addonmaven-3.0.92.zip 04-Jun-2018 12:22 4101169 jadex-addonmgmt-3.0.92.zip 04-Jun-2018 12:22 1596306 jadex-addonsecure-3.0.92.zip 04-Jun-2018 12:22 37943 jadex-pro-3.0.92.zip 04-Jun-2018 12:22 118178524 jadex-relaystandalone-3.0.92.zip 04-Jun-2018 12:22 44974853 version.txt 04-Jun-2018 12:22 7