Activator.stop() is not called at shutdown of OS (Windows XP). Unless it
is correct?
Probably not called when the user trips over the power cord, either.
Like finalizers and shutdown hooks, I'd suggest not relying on that
method for anything important.