Ulrich Kitzinger, I believe I spoke a bit too sooner. Instead we need to determine whether a @Where or @WhereJoinTable annotation is applied to the collection and take the appropriate action. That means, when @WhereJoinTable is applied to the collection, the behavior we observe should continue to be supported since the WHERE predicate belongs on the join-table. But for cases when @Where is applied on the collection, this is only applicable for the target-entity of the collection.

What we'll do is capture both values and apply them on the Envers queries appropriately.