Undo changes to tools-scripts.

tools/html_json_doc/lib/html_to_json.dart

 // Copyright (c) 2012, 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.
 
 /**
  * Library for extracting the documentation comments from files generated by
  * the HTML library. The comments are stored in a JSON file.
  *
  * Comments must be in either the block style with leading *s:
  *
@@ skipping 87 matching lines @@
       _anyErrors = true;
       return;
     }
 
     fileFutures.add(_convertFile(file));
   };
 
 
   // Combine all JSON objects
   lister.onDone = (_) {
-    Future.wait(fileFutures).then((jsonList) {
+    Futures.wait(fileFutures).then((jsonList) {
       var convertedJson = {};
       jsonList.forEach((json) {
         final k = json.keys[0];
         convertedJson.putIfAbsent(k, () => json[k]);
       });
       completer.complete(convertedJson);
     });
   };
 
   // TODO(amouravski): add more error handling.
@@ skipping 189 matching lines @@
         '${prettyPrintJson(json[key], '$indentation  ')}');
     var recursiveOutput = Strings.join(mapList, ',\n');
     output = '$indentation{\n'
       '$recursiveOutput'
       '\n$indentation}';
   } else {
     output = '$indentation${JSON.stringify(json)}';
   }
   return output;
 }