if (verboseJNI) VM.sysWrite("JNI called: NewStringUTF  \n");
if (traceJNI) VM.sysWrite("JNI called: NewStringUTF  \n");
  private static int NewStringUTF(int envJREF, VM_Address utf8bytes) {    if (verboseJNI) VM.sysWrite("JNI called: NewStringUTF  \n");    VM_JNIEnvironment env;    try {      // VM.sysWrite("NewStringUTF:\n");      String returnString = null;      env = VM_Thread.getCurrentThread().getJNIEnv();      byte[] utf8array = VM_JNIEnvironment.createByteArrayFromC(utf8bytes);      try {        returnString = VM_UTF8Convert.fromUTF8(utf8array);      } catch (UTFDataFormatException e) {        VM.sysWrite("UTFDataFormatException caught in VM_JNIFunctions.NewStringUTF\n");      }      if (returnString!=null) {        return env.pushJNIRef(returnString);      } else {        env.recordException(new OutOfMemoryError());        return 0;      }    } catch (Throwable unexpected) {      env = VM_Thread.getCurrentThread().getJNIEnv();      env.recordException(unexpected);      return 0;    }  }