if ( deselected.contains( fWorkspaceModels[i].getName( ) ) && fPluginTreeViewer .setChecked( fWorkspaceModels[i], false ) ) fNumWorkspaceChecked--;
{ if (!deselected.contains( fWorkspaceModels[i].getName( ) ) ) { if (fPluginTreeViewer.setChecked( fWorkspaceModels[i], false )) { fNumWorkspaceChecked--; } } }
	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( ) )					&& fPluginTreeViewer							.setChecked( fWorkspaceModels[i], false ) )				fNumWorkspaceChecked--;		if ( fNumWorkspaceChecked == 0 )			fPluginTreeViewer.setChecked( fWorkspacePlugins, false );		fPluginTreeViewer.setGrayed( fWorkspacePlugins,				fNumWorkspaceChecked > 0						&& fNumWorkspaceChecked < fWorkspaceModels.length );	}