[jboss-user] [JNDI/Naming/Network] - Re: JNDI name not bound when servlet initializes