On Mon, 18 Sep 2023 11:40:56 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Trivial removing dead code. Yes, it is. Removed as well. ------------- PR Comment: https://git.openjdk.org/jdk/pull/15785#issuecomment-1723335621