src/Pure/Tools/build_process.scala

 object Build_Process {
   /** static context **/
 
   object Context {
     def apply(
-      store: Sessions.Store,
+      store: Store,
       build_deps: Sessions.Deps,
       progress: Progress = new Progress,
       ml_platform: String = Isabelle_System.getenv("ML_PLATFORM"),
       hostname: String = Isabelle_System.hostname(),
       numa_shuffling: Boolean = false,

         no_build = no_build, session_setup, build_uuid = build_uuid, master = master)
     }
   }
 
   final class Context private(
-    val store: Sessions.Store,
+    val store: Store,
     val build_deps: Sessions.Deps,
     val sessions: State.Sessions,
     val ordering: Ordering[String],
     val ml_platform: String,
     val hostname: String,

   protected final val build_progress: Progress
 )
 extends AutoCloseable {
   /* context */
 
-  protected final val store: Sessions.Store = build_context.store
+  protected final val store: Store = build_context.store
   protected final val build_options: Options = store.options
   protected final val build_deps: Sessions.Deps = build_context.build_deps
   protected final val hostname: String = build_context.hostname
   protected final val build_uuid: String = build_context.build_uuid