On Fri, 29 Sep 2023 13:44:26 GMT, Leo Korinth <lkorinth at openjdk.org> wrote: > Minor testing done, I will test more later with other fixes. Added the `@key flag-sensitive` after conversation with @kstefanj ------------- PR Comment: https://git.openjdk.org/jdk/pull/15986#issuecomment-1761145761