Mudando o ambiente de desenvolvimento no Seam

Olá!

Lendo o livro Seam In Action, seção 2.4.3 (Switching between environments), vi que é possível mudar o ambiente de desenvolvimento (desenvolvimento, produção e teste) editando o arquivo build.properties. Neste arquivo eu posso adicionar a linha

profile=prod para determinar as configurações em ambiente de produção.

No entanto, em meu projeto, eu não utilizei o Seam gen para criação do projeto e sim o plugin do Eclipse JBoss Tools. Com isto, a organização dos arquivo é diferente e não consegui encontrar o arquivo responsável pela mudança do ambiente da aplicação. Como posso fazer esta mudança então?

Obrigado