if (!deselected.contains( fWorkspaceModels[i].getName( ) ) )
if ( !deselected.contains( fWorkspaceBIRTModels[i].getName( ) ) )
	private void initWorkspacePluginsState( ILaunchConfiguration config )			throws CoreException	{		fNumWorkspaceChecked = fWorkspaceModels.length;		fPluginTreeViewer.setSubtreeChecked( fWorkspacePlugins, true );		TreeSet deselected = ReportLauncherUtils.parseDeselectedWSIds( config );		for ( int i = 0; i < fWorkspaceModels.length; i++ )		{			if (!deselected.contains( fWorkspaceModels[i].getName( ) ) )			{				if (fPluginTreeViewer.setChecked( fWorkspaceModels[i], false ))				{					fNumWorkspaceChecked--;				}			}		}		if ( fNumWorkspaceChecked == 0 )			fPluginTreeViewer.setChecked( fWorkspacePlugins, false );		fPluginTreeViewer.setGrayed( fWorkspacePlugins,				fNumWorkspaceChecked > 0						&& fNumWorkspaceChecked < fWorkspaceModels.length );	}