On Fri, 21 Oct 2022 07:23:22 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote: > is it really needed? I assume it was desirable to have it hence it was added. I can't attest to the exact why. It was added by JDK-4286737 back in March 2000. ------------- PR: https://git.openjdk.org/jdk/pull/10727