StringTokenizer tok = new StringTokenizer( ids, File.pathSeparator ); while ( tok.hasMoreTokens( ) ) deselected.add( tok.nextToken( ) );
StringTokenizer token = new StringTokenizer( ids, ";" ); while ( token.hasMoreTokens( ) ) { String str = token.nextToken( ); int index = str.lastIndexOf( File.separator ); if ( index > 0 ) { str = str.substring( index + 1 ); } deselected.add( str ); }
	public static TreeSet parseDeselectedWSIds( ILaunchConfiguration config )			throws CoreException	{		TreeSet deselected = new TreeSet( );		String ids = config.getAttribute( ILauncherSettings.WSPROJECT,				(String) null );		if ( ids != null )		{			StringTokenizer tok = new StringTokenizer( ids, File.pathSeparator );			while ( tok.hasMoreTokens( ) )				deselected.add( tok.nextToken( ) );		}		return deselected;	}