get rid of vertx.properties