--- old/src/share/javavm/export/jvm.h	2020-01-30 06:24:29.412205764 +0000
+++ new/src/share/javavm/export/jvm.h	2020-01-30 06:24:29.120210219 +0000
@@ -132,6 +132,9 @@
 JVM_Exit(jint code);
 
 JNIEXPORT void JNICALL
+JVM_BeforeHalt();
+
+JNIEXPORT void JNICALL
 JVM_Halt(jint code);
 
 JNIEXPORT void JNICALL