diff -r 3ab0cedaccad -r 4c8edf348c4e src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Feb 07 12:30:52 2021 +0100
+++ b/src/Pure/ROOT.ML	Sun Feb 07 12:55:41 2021 +0100
@@ -293,6 +293,7 @@
 
 (*Isabelle system*)
 ML_file "PIDE/protocol_command.ML";
+ML_file "System/scala.ML";
 ML_file "System/bash.ML";
 ML_file "System/isabelle_system.ML";
 
@@ -325,7 +326,6 @@
 ML_file "System/command_line.ML";
 ML_file "System/message_channel.ML";
 ML_file "System/isabelle_process.ML";
-ML_file "System/scala.ML";
 ML_file "System/scala_compiler.ML";
 ML_file "System/isabelle_tool.ML";
 ML_file "Thy/bibtex.ML";