src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Jul 12 16:11:14 2022 +0200
+++ b/src/Pure/ROOT.ML	Thu Jul 21 14:26:53 2022 +0200
@@ -297,6 +297,7 @@
 
 (*Isabelle system*)
 ML_file "PIDE/protocol_command.ML";
+ML_file "System/java.ML";
 ML_file "System/scala.ML";
 ML_file "System/process_result.ML";
 ML_file "System/isabelle_system.ML";