empty default implementation added for Thread::run()