[jboss-user] [EJB 3.0] - Obtaining the JNDI name from an interceptor