On 25/04/2013 19:14, Henry Jen wrote: > : > Both fixed, new webrev is at > > http://cr.openjdk.java.net/~henryjen/tl/8012650-8011918.1 > > Cheers, > Henry > Thanks, I didn't mean you have to have to generate a new webrev for such minor matters. Anyway, I don't see any other issues and looks fine to me. -Alan