src/Pure/Tools/update_imports.scala

--- a/src/Pure/Tools/update_imports.scala	Fri Apr 21 16:45:32 2017 +0200
+++ b/src/Pure/Tools/update_imports.scala	Fri Apr 21 16:48:12 2017 +0200
@@ -138,7 +138,7 @@
             case (Some(_), _) => error("Failed to apply edit " + edit + " to file " + file)
           }
         })
-      File.write_backup(Path.explode(File.standard_path(file)), new_text)
+      File.write_backup2(Path.explode(File.standard_path(file)), new_text)
     }
   }