src/Pure/General/path.scala

--- a/src/Pure/General/path.scala	Fri Jun 30 13:21:47 2017 +0200
+++ b/src/Pure/General/path.scala	Fri Jun 30 14:01:55 2017 +0200
@@ -207,11 +207,12 @@
   def position: Position.T = Position.File(implode)
 
 
-  /* platform file */
+  /* platform files */
 
   def file: JFile = File.platform_file(this)
   def is_file: Boolean = file.isFile
   def is_dir: Boolean = file.isDirectory
 
-  def canonical_file: JFile = file.getCanonicalFile
+  def absolute_file: JFile = File.absolute(file)
+  def canonical_file: JFile = File.canonical(file)
 }