A distributed messaging service for Cloud Foundry