src/Pure/System/options.scala

--- a/src/Pure/System/options.scala	Fri Jul 20 21:05:47 2012 +0200
+++ b/src/Pure/System/options.scala	Fri Jul 20 22:29:25 2012 +0200
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import java.io.File
+import java.io.{File => JFile}
 
 
 object Options
@@ -49,7 +49,7 @@
         { case _ ~ (a ~ _ ~ b) => (options: Options) => options.define(a, b) }
     }
 
-    def parse_entries(file: File): List[Options => Options] =
+    def parse_entries(file: JFile): List[Options => Options] =
     {
       val toks = syntax.scan(Standard_System.read_file(file))
       parse_all(rep(entry), Token.reader(toks, file.toString)) match {