Regenerate from IDL with LANGUAGE_JAVASCRIPT on

client/dom/generated/src/wrapping/_HTMLAppletElementWrappingImplementation.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // WARNING: Do not edit - generated code.
 
 class _HTMLAppletElementWrappingImplementation extends _HTMLElementWrappingImplementation implements HTMLAppletElement {
   _HTMLAppletElementWrappingImplementation() : super() {}
 
   static create__HTMLAppletElementWrappingImplementation() native {
@@ skipping 29 matching lines @@
 
   void set codeBase(String value) { _set__HTMLAppletElement_codeBase(this, value); }
   static void _set__HTMLAppletElement_codeBase(var _this, String value) native;
 
   String get height() { return _get__HTMLAppletElement_height(this); }
   static String _get__HTMLAppletElement_height(var _this) native;
 
   void set height(String value) { _set__HTMLAppletElement_height(this, value); }
   static void _set__HTMLAppletElement_height(var _this, String value) native;
 
-  int get hspace() { return _get__HTMLAppletElement_hspace(this); }
-  static int _get__HTMLAppletElement_hspace(var _this) native;
+  String get hspace() { return _get__HTMLAppletElement_hspace(this); }
+  static String _get__HTMLAppletElement_hspace(var _this) native;
 
-  void set hspace(int value) { _set__HTMLAppletElement_hspace(this, value); }
-  static void _set__HTMLAppletElement_hspace(var _this, int value) native;
+  void set hspace(String value) { _set__HTMLAppletElement_hspace(this, value); }
+  static void _set__HTMLAppletElement_hspace(var _this, String value) native;
 
   String get name() { return _get__HTMLAppletElement_name(this); }
   static String _get__HTMLAppletElement_name(var _this) native;
 
   void set name(String value) { _set__HTMLAppletElement_name(this, value); }
   static void _set__HTMLAppletElement_name(var _this, String value) native;
 
   String get object() { return _get__HTMLAppletElement_object(this); }
   static String _get__HTMLAppletElement_object(var _this) native;
 
   void set object(String value) { _set__HTMLAppletElement_object(this, value); }
   static void _set__HTMLAppletElement_object(var _this, String value) native;
 
-  int get vspace() { return _get__HTMLAppletElement_vspace(this); }
-  static int _get__HTMLAppletElement_vspace(var _this) native;
+  String get vspace() { return _get__HTMLAppletElement_vspace(this); }
+  static String _get__HTMLAppletElement_vspace(var _this) native;
 
-  void set vspace(int value) { _set__HTMLAppletElement_vspace(this, value); }
-  static void _set__HTMLAppletElement_vspace(var _this, int value) native;
+  void set vspace(String value) { _set__HTMLAppletElement_vspace(this, value); }
+  static void _set__HTMLAppletElement_vspace(var _this, String value) native;
 
   String get width() { return _get__HTMLAppletElement_width(this); }
   static String _get__HTMLAppletElement_width(var _this) native;
 
   void set width(String value) { _set__HTMLAppletElement_width(this, value); }
   static void _set__HTMLAppletElement_width(var _this, String value) native;
 
   String get typeName() { return "HTMLAppletElement"; }
 }