src/Tools/jEdit/src/proofdocument/html_panel.scala

 import java.awt.event.MouseEvent
 
 import javax.swing.{JButton, JPanel, JScrollPane}
 import java.util.logging.{Logger, Level}
 
-import org.w3c.dom.Document
 import org.w3c.dom.html2.HTMLElement
 
 import org.lobobrowser.html.parser.{DocumentBuilderImpl, InputSourceImpl}
 import org.lobobrowser.html.gui.HtmlPanel
 import org.lobobrowser.html.domimpl.{HTMLDocumentImpl, HTMLStyleElementImpl, NodeImpl}

   private case class Init(font_size: Int)
   private case class Render(body: List[XML.Tree])
 
   private val main_actor = actor {
     // crude double buffering
-    var doc1: Document = null
-    var doc2: Document = null
+    var doc1: org.w3c.dom.Document = null
+    var doc2: org.w3c.dom.Document = null
 
     loop {
       react {
         case Init(font_size) =>
           val src = template(font_size)