On 3/11/19 2:48 PM, Derek Thomson wrote: > Jonathan - I have an update of this fix in > http://cr.openjdk.java.net/~jcbeyler/8219691/webrev.01/ > As a trivial matter, you will have a merge conflict when you sync with the master repo: addContent just got renamed to just "add". -- Jon