[jboss-user] [JNDI and Naming] - Re: Unable to find out Jndi port number?