code: public void objectTerminated(Object object, Exception e)
  	{
  		if (e != null)
  		{
  			VdmDebugPlugin.log(e);
  			final Job job = new Job("ServerRestart")
  			{
  
  				protected IStatus run(IProgressMonitor monitor)
  				{
  					restartServer(serverPort);
  					return Status.OK_STATUS;
  				}
  
  			};
  			job.schedule(2000);
  		}
  	}
docs: IDbgpTerminationListener