update to vertx 1.3.1.final