provide dummy URL;

--- a/src/Tools/jEdit/src/proofdocument/html_panel.scala	Tue Dec 08 20:14:08 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/html_panel.scala	Tue Dec 08 21:01:16 2009 +0100
@@ -73,7 +73,8 @@
       react {
         case Init(font_size) =>
           val src = template(font_size)
-          def parse() = builder.parse(new InputSourceImpl(new StringReader(src)))
+          def parse() =
+            builder.parse(new InputSourceImpl(new StringReader(src), "http://localhost"))
           doc1 = parse()
           doc2 = parse()
           Swing_Thread.now { setDocument(doc1, rcontext) }