Tighted type of 'document' to HtmlDocument

sdk/lib/html/dart2js/html_dart2js.dart

Index: sdk/lib/html/dart2js/html_dart2js.dart
diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
index 11e9320dd7406e867503ce782e1e38956c18df18..810f929e90401015a8354f33f74450225b3398cb 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -38,7 +38,7 @@ Window get window => JS('Window', 'window');
 /**
  * The top-level Document object.
  */
-HtmlDocument get document => JS('Document', 'document');
+HtmlDocument get document => JS('HtmlDocument', 'document');
 
 Element query(String selector) => document.query(selector);
 List<Element> queryAll(String selector) => document.queryAll(selector);
@@ -12771,12 +12771,7 @@ class HtmlDocument extends Document native "*HTMLDocument" {
   final Element activeElement;
 
   @DomName('Document.body')
-  BodyElement get body => document.$dom_body;
-
-  @DomName('Document.body')
-  void set body(BodyElement value) {
-    document.$dom_body = value;
-  }
+  BodyElement body;
 
   @DomName('Document.caretRangeFromPoint')
   Range caretRangeFromPoint(int x, int y) {