Big merge from experimental to bleeding edge.

sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart

Index: sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
diff --git a/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart b/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
index 9be17a3236b2650e21f7038243d27a5ba3552e9c..4f27fc3e216a280c8923afa5dc342d5fabaeb0c8 100644
--- a/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
+++ b/sdk/lib/_internal/dartdoc/lib/src/client/client-live-nav.dart
@@ -6,7 +6,7 @@
 library client_live_nav;
 
 import 'dart:html';
-import 'dart:json';
+import 'dart:json' as jsonlib;
 import '../../../../compiler/implementation/source_file.dart';
 // TODO(rnystrom): Use "package:" URL (#4968).
 import '../../classify.dart';
@@ -23,7 +23,7 @@ main() {
 
   // Request the navigation data so we can build the HTML for it.
   new HttpRequest.get('${prefix}nav.json', (request) {
-    var json = JSON.parse(request.responseText);
+    var json = jsonlib.parse(request.responseText);
     buildNavigation(json);
     setupSearch(json);
   });