This method can be overridden by a plug-in which needs to perform some actions upon quitting.
a PlugIn.