HashMap emitterMap = extensionMgr.getEmitterExtensions( ); return (String[]) emitterMap.keySet( ).toArray( );
return (String[])extensionMgr.getSupportedFormat().toArray(new String[0]);
	public String[] getSupportedFormats( )	{		HashMap emitterMap = extensionMgr.getEmitterExtensions( );		return (String[]) emitterMap.keySet( ).toArray( );	}