[jboss-as7-dev] JNDI integration question