Frog dart:dom using interfaces and native implementation classes.

client/dom/generated/src/frog/HTMLIFrameElement.dart

Index: client/dom/generated/src/frog/HTMLIFrameElement.dart
diff --git a/client/dom/generated/src/frog/HTMLIFrameElement.dart b/client/dom/generated/src/frog/HTMLIFrameElement.dart
index ee6ef2852e866ae6c19c4234c53cd9deb36f74b8..a9707ff240177796dc8063c05527cb456de75935 100644
--- a/client/dom/generated/src/frog/HTMLIFrameElement.dart
+++ b/client/dom/generated/src/frog/HTMLIFrameElement.dart
@@ -1,13 +1,13 @@
 
-class HTMLIFrameElement extends HTMLElement native "*HTMLIFrameElement" {
+class HTMLIFrameElementJS extends HTMLElementJS implements HTMLIFrameElement native "*HTMLIFrameElement" {
 
   String get align() native "return this.align;";
 
   void set align(String value) native "this.align = value;";
 
-  Document get contentDocument() native "return this.contentDocument;";
+  DocumentJS get contentDocument() native "return this.contentDocument;";
 
-  DOMWindow get contentWindow() native "return this.contentWindow;";
+  DOMWindowJS get contentWindow() native "return this.contentWindow;";
 
   String get frameBorder() native "return this.frameBorder;";
 
@@ -49,5 +49,5 @@ class HTMLIFrameElement extends HTMLElement native "*HTMLIFrameElement" {
 
   void set width(String value) native "this.width = value;";
 
-  SVGDocument getSVGDocument() native;
+  SVGDocumentJS getSVGDocument() native;
 }