On Mon, 1 Feb 2021 12:40:54 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote: > Much better, thanks. > > I suggest the following changes: > I've changed it as suggested. This way seems much simpler, thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/2279