Frog dart:dom using interfaces and native implementation classes.

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

Index: client/dom/generated/src/frog/Navigator.dart
diff --git a/client/dom/generated/src/frog/Navigator.dart b/client/dom/generated/src/frog/Navigator.dart
index 23f715e24f73ac2800b694168578683edc816473..a32065f3437726b9dfe6487d9651d3d0fd8819db 100644
--- a/client/dom/generated/src/frog/Navigator.dart
+++ b/client/dom/generated/src/frog/Navigator.dart
@@ -1,5 +1,5 @@
 
-class Navigator native "*Navigator" {
+class NavigatorJS implements Navigator native "*Navigator" {
 
   String get appCodeName() native "return this.appCodeName;";
 
@@ -9,17 +9,17 @@ class Navigator native "*Navigator" {
 
   bool get cookieEnabled() native "return this.cookieEnabled;";
 
-  Geolocation get geolocation() native "return this.geolocation;";
+  GeolocationJS get geolocation() native "return this.geolocation;";
 
   String get language() native "return this.language;";
 
-  DOMMimeTypeArray get mimeTypes() native "return this.mimeTypes;";
+  DOMMimeTypeArrayJS get mimeTypes() native "return this.mimeTypes;";
 
   bool get onLine() native "return this.onLine;";
 
   String get platform() native "return this.platform;";
 
-  DOMPluginArray get plugins() native "return this.plugins;";
+  DOMPluginArrayJS get plugins() native "return this.plugins;";
 
   String get product() native "return this.product;";