>> http://cr.openjdk.java.net/~rkennke/shjdk11-cleanup-subnode/webrev.00/ > > jdk/jdk did this, though: > https://hg.openjdk.java.net/jdk/jdk/rev/4f2215a00ed1#l11.13 > > Should we match that? Or should we fix it in jdk/jdk as well? Right. I this case we should fix it in jdk/jdk and trickle down to sh/jdk11. Roman