[ConfigManager] Change the specification for getFaceRestPort().