--- old/src/jdk.jdwp.agent/share/native/libjdwp/util.c	2019-11-22 22:43:40.371603904 +0100
+++ new/src/jdk.jdwp.agent/share/native/libjdwp/util.c	2019-11-22 22:43:40.172603915 +0100
@@ -1742,7 +1742,7 @@
 }
 
 /* Get the jvmti environment to be used with tags */
-static jvmtiEnv *
+jvmtiEnv *
 getSpecialJvmti(void)
 {
     jvmtiEnv  *jvmti;