O nome do plugin é FB4Linux.
Para instalá-lo nós:
1. Tivemos que desinstalar os plugins do AXDT e do Flex para faze-lo funcionar corretamente (help -> Install New Software -> Already installed -> Selecionar os plugins desejados -> uninstall)
2. Baixamos os 4 arquivos FB4Linux aqui.
3. Depois seguimos essas instruções.
Para configurarmos as bibliotecas, acessamos as propriedades do projeto, fomos em "ActionScript Build Path" e colocamos a pasta src do FLARManager em "Source Path" e a pasta lib em "Library Path".
Nesta mesma janela, preenchemos o campo 'output folder" com "deploy" (para mantermos o mesmo diretório de antes).
Depois, fomos em "External Tools Configurations" e colocamos "/usr/bin/flashplayer" em "Location" e "endereço da pasta src do projeto/Main.swf" no campo "Arguments" para rodarmos nosso swf apenas clicando em "Run Main" (dessa forma os traces aparecem no console).