src/Pure/General/file.scala

   }
 
 
   /* write */
 
+  def writer(file: JFile): BufferedWriter =
+    new BufferedWriter(new OutputStreamWriter(new FileOutputStream(file), UTF8.charset))
+
   def write_file(file: JFile, text: CharSequence, make_stream: OutputStream => OutputStream)
   {
     val stream = make_stream(new FileOutputStream(file))
     using(new BufferedWriter(new OutputStreamWriter(stream, UTF8.charset)))(_.append(text))
   }