After silly failures, I have finally produced what I believe to be a working thread timer.  Needs to be instantiated like it is in HanoiTimeGUI, as the object is HanoiTimer