URL Shortener vertx server