On Mon, 28 Nov 2022 14:46:57 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > It would be nice if we could just remove it. I assume only compiler people use it. No idea who uses it. I asked on our internal channels. ------------- PR: https://git.openjdk.org/jdk/pull/11320