[jboss-user] [Management, JMX/JBoss] - specify JNDI name for an mbean in <mbean>