Given that Envers generates HQL/JPQL queries, is there any concern if we restrict the support for @OrderBy to the JPA specific annotation only? I plan to add a warning that will be printed in the logs for cases where the Hibernate specific annotation is detected instead, recommending the use of the JPA annotation instead for Envers order-by support.