Added simple functionality to remove interfaces from HTML lib.

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 717893d048a5d5fa05f1e7d022621a47adbb96f1..06eb795a42ee44f84b4462f4c0b42baa2a06246a 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -179,47 +179,6 @@ class AnimationEvent extends Event native "*WebKitAnimationEvent" {
 // BSD-style license that can be found in the LICENSE file.
 
 
-/// @domName HTMLAppletElement; @docsEditable true
-class AppletElement extends Element native "*HTMLAppletElement" {
-
-  /// @domName HTMLAppletElement.align; @docsEditable true
-  String align;
-
-  /// @domName HTMLAppletElement.alt; @docsEditable true
-  String alt;
-
-  /// @domName HTMLAppletElement.archive; @docsEditable true
-  String archive;
-
-  /// @domName HTMLAppletElement.code; @docsEditable true
-  String code;
-
-  /// @domName HTMLAppletElement.codeBase; @docsEditable true
-  String codeBase;
-
-  /// @domName HTMLAppletElement.height; @docsEditable true
-  String height;
-
-  /// @domName HTMLAppletElement.hspace; @docsEditable true
-  String hspace;
-
-  /// @domName HTMLAppletElement.name; @docsEditable true
-  String name;
-
-  /// @domName HTMLAppletElement.object; @docsEditable true
-  String object;
-
-  /// @domName HTMLAppletElement.vspace; @docsEditable true
-  String vspace;
-
-  /// @domName HTMLAppletElement.width; @docsEditable true
-  String width;
-}
-// Copyright (c) 2012, 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.
-
-
 /// @domName DOMApplicationCache; @docsEditable true
 class ApplicationCache extends EventTarget native "*DOMApplicationCache" {