VM.sysWriteln("statistics: notifyexit done");
  public void notifyExit(int value) {VM.sysWriteln("statistics: notifyexit enter");    printSummaryStatistics();VM.sysWriteln("statistics: notifyexit done");  }