docs: public static Timer getNamedTimer(String timerName, int todoFlags,
  			long threadId) {
  		Timer key = new Timer(timerName, todoFlags, threadId);
  		registeredTimers.putIfAbsent(key, key);
  		return registeredTimers.get(key);
  	}