ServiceManager: moved from Giorgio to MurmexOpen repository.