| Index: client/html/generated/html/interface/Document.dart | 
| diff --git a/client/html/generated/html/interface/Document.dart b/client/html/generated/html/interface/Document.dart | 
| index ab3ae0702c6ea3b9962827d7cb1b7bf07ba582be..2d3ff038aff2a9977114618d01236a4a63f2b8de 100644 | 
| --- a/client/html/generated/html/interface/Document.dart | 
| +++ b/client/html/generated/html/interface/Document.dart | 
| @@ -4,12 +4,6 @@ | 
|  | 
| interface Document extends HtmlElement { | 
|  | 
| -  // 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(); | 
| -  void set title(String value); | 
| - | 
|  | 
| final Element activeElement; | 
|  | 
| @@ -37,6 +31,8 @@ interface Document extends HtmlElement { | 
|  | 
| final StyleSheetList styleSheets; | 
|  | 
| +  String title; | 
| + | 
| final Element webkitCurrentFullScreenElement; | 
|  | 
| final bool webkitFullScreenKeyboardInputAllowed; | 
|  |