remove laziness: no need, and errors during initialization loop with close();

--- a/src/Pure/Build/build_schedule.scala	Wed Mar 20 16:05:15 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Wed Mar 20 16:23:26 2024 +0100
@@ -1011,8 +1011,8 @@
 
     /* global resources with common close() operation */
 
-    private final lazy val _log_store: Build_Log.Store = Build_Log.store(build_options)
-    private final lazy val _log_database: SQL.Database =
+    private final val _log_store: Build_Log.Store = Build_Log.store(build_options)
+    private final val _log_database: SQL.Database =
       try {
         val db = _log_store.open_database(server = this.server)
         _log_store.init_database(db)