code: public void launchChanged(ILaunch launch)
  	{
  		IDebugTarget target = launch.getDebugTarget();
  		boolean loggingEnabled = false;
  		try
  		{
  			if (launch.getLaunchConfiguration() != null)
  			{
  				loggingEnabled = launch.getLaunchConfiguration().getAttribute(IDebugConstants.VDM_LAUNCH_CONFIG_ENABLE_LOGGING, false);
  			}
  
  		} catch (CoreException e1)
  		{
  
  		}
  
  		// bail if we're not a VdmDebugTarget or logging isn't enabled
  		if (!(target instanceof IVdmDebugTarget && loggingEnabled))
  		{
  			return;
  		}
  
  		final IWorkbench wb = PlatformUI.getWorkbench();
  		if (wb.getWorkbenchWindowCount() > 0)
  		{
  			Display.getDefault().asyncExec(new Runnable()
  			{
  				public void run()
  				{
  
  					IWorkbenchPage page = wb.getWorkbenchWindows()[0].getActivePage();// VdmDebugPlugin.getActivePage();
  
  					if (page != null)
  					{
  						try
  						{
  							view = (VdmDebugLogView) page.showView(VdmDebugLogView.VIEW_ID);
  
  							DebugPlugin.getDefault().addDebugEventListener(VdmDebugLogManager.this);
  						} catch (PartInitException e)
  						{
  							VdmDebugPlugin.log(e);
  						}
  					}
  				}
  			});
  		}
  	}
docs: /*
  @see org.eclipse.debug.core.ILaunchListener#launchChanged(org.eclipse.debug .core.ILaunch)