code samples for vertx.io