[mark4]

Thanks, Adam, for this fix.

I'm just starting to switch from as 7.0.2 to 7.1, which seems to have envers 4.0.1.Final and this fix.

Thanks for your work on envers! It's a great tool.

Mark