if ( source instanceof RuntimeProcess )
{
RuntimeProcess runtimeProcess = ( RuntimeProcess ) source;
// Getting the associated launch
ILaunch debugEventLaunch = runtimeProcess.getLaunch();
if ( debugEventLaunch.equals( launch ) )
{
// The launch we had created is now terminated
// The server is now stopped
server.setState( ServerStateEnum.STOPPED );