Eliminating apparently unused HibernateUtil.