| Index: client/html/generated/html/dartium/Document.dart | 
| diff --git a/client/html/generated/html/dartium/Document.dart b/client/html/generated/html/dartium/Document.dart | 
| index db94010b20019284ee29972b48f4b0dcfc0d58a2..584944440e70abdf678e86981a935e85abe61dee 100644 | 
| --- a/client/html/generated/html/dartium/Document.dart | 
| +++ b/client/html/generated/html/dartium/Document.dart | 
| @@ -39,6 +39,10 @@ class _DocumentImpl extends _ElementImpl | 
|  | 
| StyleSheetList get styleSheets() => _wrap(_documentPtr.styleSheets); | 
|  | 
| +  String get title() => _wrap(_documentPtr.title); | 
| + | 
| +  void set title(String value) { _documentPtr.title = _unwrap(value); } | 
| + | 
| Element get webkitCurrentFullScreenElement() => _wrap(_documentPtr.webkitCurrentFullScreenElement); | 
|  | 
| bool get webkitFullScreenKeyboardInputAllowed() => _wrap(_documentPtr.webkitFullScreenKeyboardInputAllowed); | 
| @@ -132,7 +136,7 @@ class _DocumentImpl extends _ElementImpl | 
| } | 
|  | 
|  | 
| -  final dom.Document _documentPtr; | 
| +  final dom.HTMLDocument _documentPtr; | 
| final _NodeImpl _wrappedDocumentPtr; | 
|  | 
| _DocumentImpl._wrap(ptr) : | 
| @@ -141,12 +145,6 @@ _DocumentImpl._wrap(ptr) : | 
| _wrappedDocumentPtr = ptr.parentNode != null ? | 
| new _SecretHtmlDocumentImpl._wrap(ptr.parentNode) : null; | 
|  | 
| -  // TODO(jacobr): remove these methods and let them be generated automatically | 
| -  // once dart supports defining fields with the same name in an interface and | 
| -  // its parent interface. | 
| -  String get title() => _documentPtr.title; | 
| -  void set title(String value) => _documentPtr.title = title; | 
| - | 
| // For efficiency and simplicity, we always use the HtmlElement as the | 
| // Document but sometimes internally we need the real JS document object. | 
| _NodeImpl get _rawDocument() => _wrappedDocumentPtr; | 
|  |