Hi Marko Bekhta,

Do you know when you're going to work on it?

I planned to tackle this tomorrow morning as HV does not compile anymore (because of that and of another change I'm working on). But feel free to beat me to it.

BTW, be careful, the tests are in the TCK, we don't need to add tests in HV itself.