if ( provider instanceof HighlightPropertyDescriptorProvider ) this.provider = (HighlightPropertyDescriptorProvider) provider;
if ( provider instanceof HighlightDescriptorProvider ) this.provider = (HighlightDescriptorProvider) provider;
	public void setDescriptorProvider( IDescriptorProvider provider )	{		super.setDescriptorProvider( provider );		if ( provider instanceof HighlightPropertyDescriptorProvider )			this.provider = (HighlightPropertyDescriptorProvider) provider;	}