vertx is running sample files from michael kraemer