else return env.pushJNIRef(e);
else { if (verboseJNI) { VM.sysWrite( e.toString() ); VM.sysWrite("\n"); } return env.pushJNIRef(e); }
  private static int ExceptionOccurred (int envJREF) {    if (verboseJNI) VM.sysWrite("JNI called: ExceptionOccurred  \n");    VM_JNIEnvironment env;    try {      env = VM_Thread.getCurrentThread().getJNIEnv();      Throwable e = env.getException();      if (e==null)	return 0;      else	return env.pushJNIRef(e);    } catch (Throwable unexpected) {      env = VM_Thread.getCurrentThread().getJNIEnv();      env.recordException(unexpected);      return env.pushJNIRef(unexpected);    }  }