if (verboseJNI) VM.sysWrite("JNI called: ExceptionDescribe  \n");
if (traceJNI) VM.sysWrite("JNI called: ExceptionDescribe  \n");
  private static void ExceptionDescribe(int envJREF) {    if (verboseJNI) VM.sysWrite("JNI called: ExceptionDescribe  \n");    VM_JNIEnvironment env;    try {      env = VM_Thread.getCurrentThread().getJNIEnv();      Throwable e = env.getException();      if (e!=null) {        e.printStackTrace();        env.recordException(null);      }    } catch (Throwable unexpected) {      env = VM_Thread.getCurrentThread().getJNIEnv();      env.recordException(null);            // clear old exception and register new one      env.recordException(unexpected);    }  }