sExtension = "PNG";
if ( isOutputRendererSupported( outputFormat ) ) { sExtension = outputFormat; } else if ( isOutputRendererSupported( "SVG" ) ) { sExtension = "SVG"; } else { sExtension = getFirstNonSVGFormat( sSupportedFormats ); }
	public void setOutputFormat( String sOutputFormat )	{		if ( sOutputFormat.equalsIgnoreCase( "HTML" ) ) //$NON-NLS-1$		{			sExtension = "PNG"; //$NON-NLS-1$		}		else if ( sOutputFormat.equalsIgnoreCase( "PDF" ) ) //$NON-NLS-1$		{			sExtension = "JPEG"; //$NON-NLS-1$		}		else		{			sExtension = sOutputFormat;		}	}