fEngine= null;
	protected void vmTerminated() {		DebugPlugin.getDefault().getLaunchManager().deregisterLaunch(fVM.getLaunch());		fVM= null;		fThread= null;		fEvaluationContext= null;		fLaunchedClassPath= null;		fireEvalStateChanged();	}