> On 24 Oct 2018, at 11:13, Daniel Fuchs <daniel.fuchs at oracle.com> wrote: > > Hi Michael, > > The diff compared to the original changeset looks good to me. > I assume you have double checked that jtreg was happy with it! +1 -Chris.