src/Pure/System/scala.scala

--- a/src/Pure/System/scala.scala	Mon May 25 20:43:19 2020 +0200
+++ b/src/Pure/System/scala.scala	Mon May 25 20:46:50 2020 +0200
@@ -19,8 +19,6 @@
 
   object Compiler
   {
-    lazy val default_context: Context = context()
-
     def context(
       error: String => Unit = Exn.error,
       jar_dirs: List[JFile] = Nil): Context =
@@ -83,7 +81,7 @@
   def toplevel_yxml(source: String): String =
   {
     val errors =
-      try { Compiler.default_context.toplevel(source) }
+      try { Compiler.context().toplevel(source) }
       catch { case ERROR(msg) => List(msg) }
     locally { import XML.Encode._; YXML.string_of_body(list(string)(errors)) }
   }