Onde obtenho os .jar do hibernate/jpa do livro Aplicações Java para a Web com JSF e JPA - Gilliard Cordero?

No livro … é informado para ir no site hibernate.org/downloads e baixar os seguintes arquivos .jar:
hibernate-entitymanager-4.1.8.Final.jar,
antlr-2.7.7.jar
dom4j-1.6.1.jar
hibernate-commom…ions-4.0.1.Final.jar
hibernate-core-4.1.8.Final.jar
hibernate-jpa-2.0-api-1.0.1.Final.jar
javassist-3.15.0-GA.jar
jboss-loggin-3.1.0.GA.jar
jboss-transaction-…spec-1.0.0.Final.jar
mas não encontrei um link no site.
Agradeço quem puder me orientar.
Fernando Ventura Jr.