update to Vertx 1.3.1.final