RFR: JEP 386 patch - minor cleanup

Wed Sep 9 03:38:33 UTC 2020

On Tue, 8 Sep 2020 20:50:28 GMT, Alexander Scherbatiy <alexsch at openjdk.org> wrote:

>> I see that those fixes are not yet in a promoted build, so will have to wait until jdk-16+14.
>
> 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.

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

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