RFR: 8290482: Update JNI Specification of DestroyJavaVM for better alignment with JLS, JVMS, and Java SE API Specifications [v4]

[David Holmes]

On Fri, 23 Sep 2022 12:41:05 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote:

>> David Holmes has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fix JniVersion test
>
> This seems good.  I looked at the specification changes and they looked okay also.

Thanks @coleenp !

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

PR: https://git.openjdk.org/jdk/pull/10352