Problemas com bloqueio de arquivos JavaScript (js) usando Rich Faces 3.3.2 e Jboss Seam

Olá Pessoal,

Estou como seguinte problema:

Quando acesso minha aplicação funciona que é uma beleza, porém quando meu cliente acessa, aparece alguns erros de páginas, nesse caso o Panel Menu do richFaces não abre e abrindo o erro que aparece no canto inferior direito do navegador (que são erros de java Script), diz que o PanelMenu não está definido, isso me leva a acreditar que existe um bloqueio de arquivos js,

Quando ele acessa pelo 3G funciona também, somente na rede dele que não, porém o administrador da rede é da alemanha e demora muito tempo para responder.

Ai resolvi testar com ele o site do RichFaces e para minha surpresa funciona, olhando o código fonte gerado os arquivos js possui uma extensão a mais (.jsf no final), por exemplo ui.pack.js.jsf, então deduzi que é por isso que funciona, olhando meu código fonte ele possui somente o js, ui.pack.js, sem o .jsf no final.

Alguém sabe como poderia adicionar essa exntensão no final dos arquiovs ?