anchor.diff:  
   /// Reads the contents of the text file [file].
   String readTextFile(String file) =>
  -    new File(file).readAsStringSync(Encoding.UTF_8);
  +    new File(file).readAsStringSync(encoding: Encoding.UTF_8);
   
   /// Reads the contents of the binary file [file].
   List<int> readBinaryFile(String file) {
  
positive.code: /// Creates [file] and writes [contents] to it.
  String writeBinaryFile(String file, List<int> contents) {
    log.io("Writing ${contents.length} bytes to binary file $file.");
    new File(file).openSync(FileMode.WRITE)
        ..writeListSync(contents, 0, contents.length)
        ..closeSync();
    log.fine("Wrote text file $file.");
  
negative.code: // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
  // for details. All rights reserved. Use of this source code is governed by a
  // BSD-style license that can be found in the LICENSE file.
  
  