This is the JIRA I was talking about https://issues.jboss.org/browse/AS7-928

Also, there's one other JIRA https://issues.jboss.org/browse/AS7-3291 which states that including Envers as part of Hibernate module could bring in certain Envers functionality even if the user didn't explicitly want it. I'm not sure if it's still applicable but perhaps worth a look.

By the way, what's the real reason for moving Envers into Hibernate module?