[Fixed #61828406] by introducing a new ReentrantTimer class.