Looks ok to me. -kto On Nov 29, 2012, at 9:37 AM, Gary Collins wrote: > A small tweak to our JPRT settings: > > This change is slated for hsx24 repo. > > http://cr.openjdk.java.net/~collins/JDK-8004114/webrev-00/ > > Thanks > Gary > >