diff -r 837b86b214d3 -r 065dcd80293e etc/settings
--- a/etc/settings	Sat Aug 15 13:36:42 2020 +0200
+++ b/etc/settings	Sat Aug 15 13:37:34 2020 +0200
@@ -27,6 +27,11 @@
 
 isabelle_scala_service 'isabelle.Bibtex$File_Format'
 
+isabelle_scala_service 'isabelle.ML_Statistics$Protocol_Handler'
+isabelle_scala_service 'isabelle.Scala'
+isabelle_scala_service 'isabelle.Print_Operation$Handler'
+isabelle_scala_service 'isabelle.Simplifier_Trace$Handler'
+
 #paranoia settings -- avoid intrusion of alien options
 unset "_JAVA_OPTIONS"
 unset "JAVA_TOOL_OPTIONS"