On Mon, 16 Jan 2023 20:42:09 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > This is cleaner than having the duplicate classes. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jol/pull/39