more general support for isabelle_scala_service;
clarified File_Format.registry;