virtual void print () const;
Global_translator *get_global_translator_p ();
Translator_group *get_group_translator_p (String type) const;
virtual void print () const;
Global_translator *get_global_translator_p ();
Translator_group *get_group_translator_p (String type) const;