I've added a pull request: https://github.com/hibernate/hibernate-orm/pull/1952 .