code: public void handleDebugEvents(DebugEvent[] events)
  	{
  		if (view == null)
  		{
  			return;
  		}
  
  		for (int i = 0; i < events.length; ++i)
  		{
  			DebugEvent event = events[i];
  
  			append(new VdmDebugLogItem(Messages.ItemType_Event, getDebugEventKind(event)
  					+ " from " + event.getSource().getClass().getName()));//$NON-NLS-1$
  
  			if (event.getKind() == DebugEvent.CREATE)
  			{
  				handleCreateEvent(event);
  			} else if (event.getKind() == DebugEvent.MODEL_SPECIFIC
  					&& event.getDetail() == ExtendedDebugEventDetails.DGBP_NEW_CONNECTION)
  			{
  				if (event.getSource() instanceof IDbgpDebugingEngine)
  				{
  					((IDbgpDebugingEngine) event.getSource()).addRawListener(this);
  				}
  			} else if (event.getKind() == DebugEvent.TERMINATE)
  			{
  				handleTerminateEvent(event);
  			}
  		}
  	}
docs: /*
  @see org.eclipse.debug.core.IDebugEventSetListener#handleDebugEvents(org.eclipse .debug.core.DebugEvent[])