Commit(master) openjdk/jcstress/9ed7ac43
https://mail.openjdk.org/pipermail/jcstress-dev/2025-June/001293.html
Review(master) openjdk/jcstress/162