Hi, I would like to backport CR7091528[1] into jdk7u-dev: http://hg.openjdk.java.net/jdk8/tl/langtools/rev/dea82aa3ca4f Okay for push? 1: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7091528 Cheers, Deepak