Thanks for the explanation.
I believe that dwf2xml is NOT concerned by the Sentinel driver issue and only RIDE tries to check whether a Sentinel dongle is present (this protection mode is not used for the STM32/ARMx families, but for some other tools/families).
Anyway, the workaround consists in dowloading the new Sentinel drivers from the link you provided. We will update these drivers in the next RIDE7 release.
Thanks again.