On Wed, 7 Oct 2020 19:47:07 GMT, Serguei Spitsyn <sspitsyn at openjdk.org> wrote: > > > Richard, > Thank you for the formatting and refactoring changes. > The fix looks good to me. Thank you very much Serguei! ------------- PR: https://git.openjdk.java.net/jdk/pull/119