I worry about people migrating that used to disable envers integration by setting hibernate.listeners.envers.autoRegister=false. Now upgrading they'd begin to have the EnversService built and envers building its mappings (see AdditionalJaxbMappingProducerImpl).

So I think what I'd like to see instead is to have explicit settings for each of these 2 points.

1. hibernate.integration.envers.enabled controls whether integration happens at all. Basically, I'd like this to remain exactly as it is in EnversService{Impl) including the handling for the legacy listener setting.
2. hibernate.envers.autoRegisterListeners used from EnversIntegrator to decide whether to auto-register the standard envers listeners. If explicitly specified we honor that setting. If not explicitly specified we fallback to EnversService#isEnabled

So that allows your use-case to work like:

hibernate.integration.envers.enabled=true
hibernate.envers.autoRegisterListeners=false