On Wed, 16 Jul 2025 00:09:51 GMT, Sergey Bylokhov <s...@openjdk.org> wrote:
>> It doesn't have to be. Is it a problem that it is ? > > Yeah, if it does not need to be, we can skip it; otherwise, we can update all > existing implementations to follow the same pattern. I removed it ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/26332#discussion_r2211587120
