module GHCJS.DOM.HTMLAppletElement (
  module Graphics.UI.Gtk.WebKit.DOM.HTMLAppletElement
  ) where
import Graphics.UI.Gtk.WebKit.DOM.HTMLAppletElement