public void RemoveTimer(ManagedTimer t) { timers.Remove(t); }
public void AddTimer(ManagedTimer t) { timers.Add(t); }