if ( element instanceof ResourceEntry ) { URL url = ( (ResourceEntry) element ).getURL( ); if ( url != null ) { if ( url.getPath( ).indexOf( "/" ) == 0 ) { return url.getPath( ).substring( 1 ); } else { return url.getPath( ); } } else { return ""; } }
	public String getToolTip( Object element )	{		if ( element instanceof File )		{			if ( element.equals( rootFile ) )			{				return ( (File) element ).getAbsolutePath( );			}			else			{				return ( (File) element ).getName( );			}		}		return super.getText( element );	}