VM.sysWrite(t, false);
VM.sysWrite(t);
  protected void prettyPrintTime (double time, double totalTime) {    int t = VM_Time.toMilliSecs(time);    if (t < 1000000)      VM.sysWrite(" ");    if (t < 100000)      VM.sysWrite(" ");    if (t < 10000)      VM.sysWrite(" ");    if (t < 1000)      VM.sysWrite(" ");    if (t < 100)      VM.sysWrite(" ");    if (t < 10)      VM.sysWrite(" ");    VM.sysWrite(t, false);    if (time/totalTime > 0.10) {      VM.sysWrite("    ");    } else {      VM.sysWrite("     ");    }    VM.sysWrite(time/totalTime*100, 2);    VM.sysWrite("%");  }