'Warning! This is an unsupported script and should be used with caution.
'This Is ready-to-run example code to be able to kill unnecessary librarymanager.exe process.
'Without this kind of approach the librarymanager.exe remains if
'has been defined using Scripting.DontExit = True in the code.
'Place this sub into your existing code. It is important to use exactly the name Application_Quit.
'V1.0 Mentor Graphics Finland Oy, Timo Kyyronen, 13.08.2012