On Tue, 23 Jan 2024 08:48:35 GMT, Emanuel Peter <epeter at openjdk.org> wrote: > Does this satisfy you, or are you worried about other cases too? Yes, that sounds good. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16245#issuecomment-1906877762