[eclipse pde]How to catch the event that a launch is terminated?

问题

I'm writing a eclipse plugin.

I want to do sth. when a launch is terminated, where do I add the code?

I have already wrote a class that extends JavaLaunchDelegate.

来源：https://stackoverflow.com/questions/10185794/eclipse-pdehow-to-catch-the-event-that-a-launch-is-terminated