Envers extension of the Spring Data JPA module