src/Pure/System/build.scala

 
   /* parsing */
 
   private case class Session_Entry(
     name: String,
-    reset: Boolean,
+    this_name: Boolean,
     order: Int,
     path: Option[String],
     parent: Option[String],
     description: String,
     options: List[Options.Spec],

             else entry.name
           }
           else
             entry.parent match {
               case Some(parent_name) if queue1.defined(parent_name) =>
-                if (entry.reset) entry.name
+                if (entry.this_name) entry.name
                 else parent_name + "-" + entry.name
               case _ => error("Bad parent session")
             }
 
         val path =