On Wed, 9 Jun 2021 14:01:37 GMT, Yasumasa Suenaga <ysuenaga at openjdk.org> wrote: > I hope this change happens in 17. Yes, I think we can make it!... Thanks. ------------- PR: https://git.openjdk.java.net/jdk/pull/4418