etc/settings

--- a/etc/settings	Tue Apr 07 22:13:22 2020 +0200
+++ b/etc/settings	Wed Apr 08 13:14:05 2020 +0200
@@ -23,7 +23,7 @@
 isabelle_scala_tools 'isabelle.Tools'
 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools'
 
-isabelle_file_format 'isabelle.Bibtex$File_Format'
+isabelle_scala_service 'isabelle.Bibtex$File_Format'
 
 #paranoia settings -- avoid intrusion of alien options
 unset "_JAVA_OPTIONS"