On 20/06/2012 1:34 PM, Gary Collins wrote: > A tweak to our JPRT settings: > > http://cr.openjdk.java.net/~collins/7178113/webrev.00/ Looks good Gary. David ----- > Thanks > Gary >