On Mon, 16 Oct 2023 10:12:10 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Simple (or even trivial) removing some unnecessary "virtual" marks. lgtm ------------- Marked as reviewed by tschatzl (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/16200#pullrequestreview-1680017554