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. Thanks for the review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16200#issuecomment-1766261273