tuned;

--- a/src/Pure/General/xml.scala	Tue Aug 10 15:12:45 2010 +0200
+++ b/src/Pure/General/xml.scala	Tue Aug 10 18:23:12 2010 +0200
@@ -47,14 +47,16 @@
     }
   }
 
-  private def append_elem(name: String, atts: Attributes, s: StringBuilder) {
+  private def append_elem(name: String, atts: Attributes, s: StringBuilder)
+  {
     s ++= name
     for ((a, x) <- atts) {
       s ++= " "; s ++= a; s ++= "=\""; append_text(x, s); s ++= "\""
     }
   }
 
-  private def append_tree(tree: Tree, s: StringBuilder) {
+  private def append_tree(tree: Tree, s: StringBuilder)
+  {
     tree match {
       case Elem(Markup(name, atts), Nil) =>
         s ++= "<"; append_elem(name, atts, s); s ++= "/>"