changing timers for CI
Default config in vertx-platform.jar is now named default-<> to avoid classpath ordering issues when users specify their own config on the classpath