fix dom.py

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 5a57593c4655a3842e5e167f378cfd745089a7a9..92003f000e6901131275da380c361aa7ea0eb7c2 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -7929,7 +7929,7 @@ class _ChildrenElementList extends ListBase<Element> {
 // a better option given that we cannot quite force NodeList to be an
 // ElementList as there are valid cases where a NodeList JavaScript object
 // contains Node objects that are not Elements.
-class _FrozenElementList extends ListBase<Element> {
+class _FrozenElementList<T extends Element> extends ListBase<T> {

[Jennifer Messerly, 2013/04/27 01:06:58]

this was auto-regenerated when I ran ./go.sh

   final List<Node> _nodeList;
 
   _FrozenElementList._wrap(this._nodeList);
@@ -18541,14 +18541,14 @@ class SelectElement extends Element native "HTMLSelectElement" {
   // does not operate as a List.
   List<OptionElement> get options {
     var options = this.children.where((e) => e is OptionElement).toList();
-    return new UnmodifiableListView<OptionElement>(options);
+    return new UnmodifiableListView(options);
   }
 
   List<OptionElement> get selectedOptions {
     // IE does not change the selected flag for single-selection items.
     if (this.multiple) {
       var options = this.options.where((o) => o.selected).toList();
-      return new UnmodifiableListView<OptionElement>(options);
+      return new UnmodifiableListView(options);
     } else {
       return [this.options[this.selectedIndex]];
     }