On Fri, 10 Jun 2022 08:36:57 GMT, Raffaello Giulietti <d...@openjdk.java.net> wrote:
> This fixes a bug introduced with JDK-8202449. The fix reverts an inadvertent "correction" sneaked into JDK-8202449, restoring previous (correct) behavior. ------------- PR: https://git.openjdk.org/jdk/pull/9120