anchor.diff:        // If there is an error starting a batch process, chances are that
         // it will always fail. So rather than re-trying a 1000+ times, we
         // exit.
  -      exit(1);
  +      io.exit(1);
         return true;
       });
     }
  
positive.code:         print("  Command: $cmd ${arg.join(' ')}");
          print("  Error: $e");
          // TODO(ahe): How to report this as a test failure?
          exit(1);
          return true;
        });
      }
  
negative.code:           print("  Command: java -jar $file");
            print("  Error: $e");
            // TODO(ahe): How to report this as a test failure?
            io.exit(1);
            return true;
          });
        }
  