On Fri, 17 Nov 2023 16:46:30 GMT, Patricio Chilano Mateo <pchilanomate at openjdk.org> wrote: > I like this cleanup. Thank you Patricio! ------------- PR Comment: https://git.openjdk.org/jdk/pull/16706#issuecomment-1818544036