Vertx-Redis integration