[Launch Dialog] Add an option to terminate launch before (re-) starting it about eclipse-extras HOT 2 CLOSED

If possible, align with Bug 487554 - Add "Terminate and Relaunch" to menu and toolbar

from eclipse-extras.

Commit 3864ff0 provides a Terminate before Relaunch optin in the dialog's drop-down menu.

There is one known limitation though:
In order to terminate a process that was launched with Eclipse, terminate()method of the associated process handle needs to be called.

Implementations of this method are free to be blocking or non-blocking.

For the sake of simplicity and because the JVM process implementation (probably the most widely used one) is blocking, the code that calls terminate() expects the method call to be blocking – i.e. assumes that the process is terminated when the method returns.

If it turns out that there are non-blocking implementations in the wild, the process termination code needs to be changed to wait for the process to actually terminate after termination was requested though calling terminate().

from eclipse-extras.