if ( File.separatorChar != '/' ) path = path.replace( File.separatorChar, '/' );
path = ModelUtil.toUniversalFileFormat( path );
	public static String convertFileNameToURLString( String filePath )	{		StringBuffer buffer = new StringBuffer( );		String path = filePath;		// convert non-URL style file separators		if ( File.separatorChar != '/' )			path = path.replace( File.separatorChar, '/' );		// copy, converting URL special characters as we go		for ( int i = 0; i < path.length( ); i++ )		{			char c = path.charAt( i );			if ( c < 0x1F || c == 0x7f )				buffer.append( "%" + Character.toString( c ) ); //$NON-NLS-1$			else if ( c == '#' )				buffer.append( "%23" ); //$NON-NLS-1$			else if ( c == '%' )				buffer.append( "%25" ); //$NON-NLS-1$			else if ( c == '<' )				buffer.append( "%3C" ); //$NON-NLS-1$			else if ( c == '>' )				buffer.append( "%3E" ); //$NON-NLS-1$			else if ( c == '"' )				buffer.append( "%22" ); //$NON-NLS-1$						else				buffer.append( c );		}		// return URL		return buffer.toString( );	}