Is that something that you have in BVAL only

No, they must have this link somewhere as well. If nothing else it would be maintained manually. They need to produce the same JSR specification documents as BVAL. I would sync with Jozef to understand their full tool chain.

 or were you expecting to find an example in their build?

maybe