RFR: JEP 386 patch - minor cleanup

Wed Sep 9 05:11:09 UTC 2020

On Wed, 9 Sep 2020 03:35:56 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

>> The pull request is updated according to changes in the pull request to jdk: https://github.com/openjdk/jdk/pull/49
>
> Do you want to wait for the upstream PR to stabilize or should I merge this PR as-is? I'm flexible.

Merging the PR now is better for me because it avoids future conflict resolutions.

-------------

PR: https://git.openjdk.java.net/portola/pull/12