if (verboseJNI) VM.sysWrite("JNI called: DeleteLocalRef\n");
if (traceJNI) VM.sysWrite("JNI called: DeleteLocalRef\n");
  private static void DeleteLocalRef(int envJREF, int objJREF) {    if (verboseJNI) VM.sysWrite("JNI called: DeleteLocalRef\n");    try {      VM_JNIEnvironment env = VM_Thread.getCurrentThread().getJNIEnv();      env.deleteJNIRef(objJREF);    } catch (Throwable whatever) {      VM_JNIEnvironment env = VM_Thread.getCurrentThread().getJNIEnv();      env.recordException(whatever);    }  }