src/Tools/jEdit/src/isabelle_hyperlinks.scala
changeset 48409 0d2114eb412a
parent 47867 dd9cbe708e6b
     1.1 --- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Fri Jul 20 22:29:25 2012 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  import isabelle._
     1.6  
     1.7 -import java.io.File
     1.8 +import java.io.{File => JFile}
     1.9  
    1.10  import gatchan.jedit.hyperlinks.{Hyperlink, HyperlinkSource, AbstractHyperlink}
    1.11