[jboss-user] [JNDI and Naming] - Re: Default JNDI name changed after recompiling