protected IStatus run(IProgressMonitor monitor)
{
try
{
ILaunchConfiguration vdmLaunchConfig = getVdmLaunchConfig(deDebugPort);
ILaunch vdmLaunch = vdmLaunchConfig.launch("debug", null);
launch.addDebugTarget(vdmLaunch.getDebugTarget());
} catch (CoreException e)
{
return new Status(IStatus.ERROR, IDebugConstants.PLUGIN_ID, "Faild to launch VDM-RT debug", e);
}