src/Pure/General/symbol.scala

--- a/src/Pure/General/symbol.scala	Sat Nov 24 16:40:42 2012 +0100
+++ b/src/Pure/General/symbol.scala	Sat Nov 24 16:59:07 2012 +0100
@@ -250,7 +250,7 @@
     }
 
     val groups: List[(String, List[Symbol])] =
-      symbols.map({ case (sym, props) => (sym, props.get("group") getOrElse "other") })
+      symbols.map({ case (sym, props) => (sym, props.get("group") getOrElse "unsorted") })
         .groupBy(_._2).toList.map({ case (group, list) => (group, list.map(_._1)) })
         .sortBy(_._1)