Use another implementation for the task queue of the Timer class