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);
						}
					}
				}
			});
		}
	}
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 ) { } 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 ( ) ; if ( page != null ) { try { view = ( VdmDebugLogView ) page . showView ( VdmDebugLogView . VIEW_ID ) ; DebugPlugin . getDefault ( ) . addDebugEventListener ( VdmDebugLogManager . this ) ; } catch ( PartInitException e ) { VdmDebugPlugin . log ( e ) ; } } } } ) ; } }
/*
@see org.eclipse.debug.core.ILaunchListener#launchChanged(org.eclipse.debug .core.ILaunch)