proper import isabelle.renderer.UserAgent;

--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 22:09:08 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 22:09:33 2008 +0100
@@ -10,6 +10,8 @@
 import isabelle.IsabelleSystem
 import isabelle.utils.EventSource
 import isabelle.prover.{Prover, Command}
+import isabelle.renderer.UserAgent
+
 
 import org.w3c.dom.Document
 

--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 22:09:08 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 22:09:33 2008 +0100
@@ -10,6 +10,8 @@
 import isabelle.IsabelleProcess.Result
 import isabelle.YXML.parse_failsafe
 import isabelle.utils.EventSource
+import isabelle.renderer.UserAgent
+
 
 import scala.collection.mutable.{ArrayBuffer, HashMap}
 

--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Sun Dec 21 22:09:08 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Sun Dec 21 22:09:33 2008 +0100
@@ -12,6 +12,7 @@
 import javax.swing.{JButton, JPanel, JScrollPane}
 
 import isabelle.IsabelleSystem.getenv
+import isabelle.renderer.UserAgent
 
 import org.xhtmlrenderer.simple.{XHTMLPanel, FSScrollPane}
 import org.xhtmlrenderer.context.AWTFontResolver