jbosstools/jbosstools-documentation — pull request #11 by dgolovin (2012-11-01 20:28:33+00:00)
Title: https://issues.jboss.org/browse/JBIDE-12871 Hibernate Component N&N

create hibernate news page for 4.0.0.Beta1, add hibernate tools into index page
fix minor issues related to Server Tools name in 4.0.0..Alpha2