tuned;

--- a/src/Pure/Tools/build.scala	Sat Mar 18 20:51:42 2017 +0100
+++ b/src/Pure/Tools/build.scala	Sat Mar 18 20:57:15 2017 +0100
@@ -104,7 +104,7 @@
     }
   }
 
-  private final class Queue private(
+  private class Queue(
     graph: Graph[String, Sessions.Info],
     order: SortedSet[String],
     val command_timings: String => List[Properties.T])