On Mon, 19 Oct 2020 19:57:11 GMT, Nhat Nguyen <github.com+8022952+nhat-nguyen at openjdk.org> wrote: >> +1 > > Thank you for the suggestion. I have updated the PR. LGTM ------------- PR: https://git.openjdk.java.net/jdk/pull/713