Hi Vladimir, Thanks for looking at this. > Why don't you register the dependency anymore (assert_leaf_type(superk))? Good catch. I dropped it by accident: http://cr.openjdk.java.net/~roland/8240854/webrev.01/ Roland.