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

[David Holmes]

On Thu, 22 Sep 2022 06:09:46 GMT, Robbin Ehn <rehn at openjdk.org> wrote:

>> David Holmes has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fix JniVersion test
>
> Looks good, thank you!

Thanks @robehn !

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

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