[jboss-user] [JNDI and Naming] - Re: getting ear-name