On Mon, 8 Mar 2021 20:51:13 GMT, David Holmes <dholmes at openjdk.org> wrote: > Hi Thomas, > > I am fine with this version of the refactoring. > > Thanks, > David Thank you David! ------------- PR: https://git.openjdk.java.net/jdk/pull/2810