>> Do you need any help with pushing the patch? > > Thanks for review, Vladimir! Yes, please help push. Ok, done: http://hg.openjdk.java.net/panama/dev/rev/5c3934cc4f54 Best regards, Vladimir Ivanov