public static void printSummary(PrintStream out){
  printSummary(out,null);
  printErrorSummary(out);
}

public static void printSummary ( PrintStream out ) { printSummary ( out , null ) ; printErrorSummary ( out ) ; }
print the statistics report to specified stream
