[vertx] fix source path

Download URL apparently changed.