Looks ok to me. -kto On Nov 26, 2012, at 5:40 AM, Erik Joelsson wrote: > This patch converts 7197071 to the new build-system. > > http://cr.openjdk.java.net/~erikj/8003482/webrev.jdk.01/ > > /Erik