On Tue, 1 Jun 2021 08:13:58 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > One last comment change :) Thank for the suggestion. That does explain more clearly. Updated as suggested. ------------- PR: https://git.openjdk.java.net/jdk/pull/4265