Как и где добавить JNDI для Hibernate?

Мне нужен код для добавления имени JNDI для достижения пула соединений в спящем режиме. Я настроил пул соединений на сервере Jboss с именем JNDI как «EmployeeDB»

. Как настроить его в hibernate.cfg.xml ??

Пожалуйста, дайте мне код для hibernate.cfg.xml, если я использую финальную версию Hibernate 4.