public static List <string> section_Names(this FileBasedConfig config, string section) { if (config.notNull()) { return(config.GetNames(section).toList()); } return(new List <string>()); }