On Tue, 7 Mar 2023 15:20:29 GMT, Pavel Rappo <prappo at openjdk.org> wrote: > Please review this cleanup which consists of commentary changes and code simplifications. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/12904