tuned;

--- a/src/Pure/System/isabelle_system.scala	Sat Aug 13 12:06:11 2016 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat Aug 13 23:33:58 2016 +0200
@@ -191,7 +191,7 @@
     File.platform_file(path)
   }
 
-  def tmp_file[A](name: String, ext: String = ""): JFile =
+  def tmp_file(name: String, ext: String = ""): JFile =
   {
     val suffix = if (ext == "") "" else "." + ext
     val file = Files.createTempFile(isabelle_tmp_prefix().toPath, name, suffix).toFile