protected static void setLogger(Logger givenLogger) {
        timingLogger = givenLogger;
    }
Utility class for doing operations on a given Timer.
jgiven-timing/src/main/java/com/tngtech/jgiven/timing/TimerHandler.java