} catch (ArrayIndexOutOfBoundsException e) { VM.sysWrite("JNI refs array confused.  Fatal Error!"); VM.sysExit( -1 );
  private static void DeleteLocalRef(int envJREF, int objJREF) {    if (traceJNI) 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);    }  }