On Fri, 15 Dec 2023 09:25:00 GMT, Sergey Tsypanov <stsypanov at openjdk.org> wrote: > I think this would be doing double job, wouldn't it? Sorry, I don't understand. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16879#discussion_r1428236374