src/Pure/ML/ml_profiling.scala

 import java.util.Locale
 
 import scala.collection.immutable.SortedMap
 
 
-object ML_Profiling
-{
-  sealed case class Entry(name: String, count: Long)
-  {
+object ML_Profiling {
+  sealed case class Entry(name: String, count: Long) {
     def clean_name: Entry = copy(name = """-?\(\d+\).*$""".r.replaceAllIn(name, ""))
 
     def print: String =
       String.format(Locale.ROOT, "%12d %s",
         count.asInstanceOf[AnyRef], name.asInstanceOf[AnyRef])
   }
 
-  sealed case class Report(kind: String, entries: List[Entry])
-  {
+  sealed case class Report(kind: String, entries: List[Entry]) {
     def clean_name: Report = copy(entries = entries.map(_.clean_name))
 
     def total: Entry = Entry("TOTAL", entries.iterator.map(_.count).sum)
 
     def print: String =
       ("profile_" + kind + ":\n") + cat_lines((entries ::: List(total)).map(_.print))
   }
 
-  def account(reports: List[Report]): List[Report] =
-  {
+  def account(reports: List[Report]): List[Report] = {
     val empty = SortedMap.empty[String, Long].withDefaultValue(0L)
     var results = SortedMap.empty[String, SortedMap[String, Long]].withDefaultValue(empty)
     for (report <- reports) {
       val kind = report.kind
       val map = report.entries.foldLeft(results(kind))(