One or two IIRC, will surely meet them again when I'll get more time to work on it.

BTW alternative can be to add a SPI to TCKs "CDIProviderResetter" - name is bad but you get the idea .