On Wed, 17 Nov 2021 08:13:09 GMT, Masanori Yano <my...@openjdk.org> wrote:
>> I suggest leaving it as is for some time, since it is known that could >> workaround another bug, linked below. > > @mrserb Can I hope this fix will be integrated after JDK-8270874 is fixed? Yes. ------------- PR: https://git.openjdk.java.net/jdk/pull/6064
