Question about Glassfish-specific JNDI naming