On 20/06/2019 22:15, Maurizio Cimadamore wrote: > Tests look good (aside from the windows failure on > JextractToolProviderTest, which Henry is taking care of, and has nothing > to do with this patch). > > Looks good to go! > Thanks Maurizio! Pushed. Nick