anchor.diff:  import 'dart:convert';
   import 'dart:io';
   import 'package:args/args.dart';
  -//import 'package:http_server/http_server.dart';
   
   const String root_url = "http://gsdview.appspot.com/dart-archive/channels";
   const String homepage_url = "http://www.dartlang.org/tools/editor/";
  
positive.code:         if (isRawCsAvailable)
          {
            // Torn between using release_revision and release_version for cask version :/
            versions_file.write("${cask_class_name} now version ${release_version} (revision ${release_revision})\n");
            String cask = createDarteditorCask(cask_class_name, url, release_revision, md5, isRawCsAvailable, installSection);
            File outputFile = new File(outputDirectory.path + '/' + cask_file_name);
            return outputFile.create(recursive: true)
  
negative.code:           if (isRawCsAvailable)
            {
              // Torn between using release_revision and release_version for cask version :/
              versions_file.write("${cask_class_name} now version ${release_version} (revision ${release_revision}). Zip: ${url}\n");
              String cask = createDarteditorCask(cask_class_name, url, release_revision, md5, isRawCsAvailable, installSection);
              File outputFile = new File(outputDirectory.path + '/' + cask_file_name);
              return outputFile.create(recursive: true)
  