> On Oct 13, 2016, at 4:08 PM, David DeHaven <david.deha...@oracle.com> wrote: > > > JBS Issue: > https://bugs.openjdk.java.net/browse/JDK-8165271 > > Webrev: > http://cr.openjdk.java.net/~ddehaven/8165271/jdk.0/
This change looks fine. This hack should have been replaced long ago and happy to see them gone. Mandy