Exception handling: thread stop()