Demonstrate a bug in either vertx or the documentation