I made pull request https://github.com/hibernate/hibernate-orm/pull/547 (I hope I followed the procedure correctly)

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira