static Map<java.util.Timer, Bool> autoCleanUpTimer_timers = synchroMap(new WeakHashMap);

static java.util.Timer autoCleanUpTimer(java.util.Timer timer) {
  autoCleanUpTimer_timers.put(timer, true);
  ret timer;
}

static void cleanMeUp_autoCleanUpTimer() {
  for (java.util.Timer timer : keys(autoCleanUpTimer_timers))
    timer.cancel();
  autoCleanUpTimer_timers.clear();
}