code: public void objectTerminated(Object object, Exception e)
  	{
  		terminated = true;
  		Assert.isTrue(object == session);
  		// HotCodeReplaceManager.getDefault().removeHotCodeReplaceListener(this);
  		manager.terminateThread(this);
  	}
docs: IDbgpTerminationListener