Deploying the KIE Workbench in the cloud