Code samples for vertx.io