hibernate/hibernate-tools — pull request #31 by koentsje (2012-09-05 20:24:28+00:00)
Title: 4.0.x devel

aggregate pull request of all changes that need to go into 4.0.x