private void printSummary(Writer writer) throws IOException {
   int index = 1;
   Iterator4 e = iterator();
   while (e.moveNext()) {
     writer.write(String.valueOf(index));
     writer.write(") ");
     writer.write(((TestFailure) e.current()).testLabel());
     writer.write(TestPlatform.NEW_LINE);
     ++index;
   }
 }
 private void printDetails(Writer writer) throws IOException {
   int index = 1;
   Iterator4 e = iterator();
   while (e.moveNext()) {
     writer.write(TestPlatform.NEW_LINE);
     writer.write(String.valueOf(index));
     writer.write(") ");
     ((Printable) e.current()).print(writer);
     writer.write(TestPlatform.NEW_LINE);
     ++index;
   }
 }