public ServerDetailProvider() { Servers = Plugin.Configuration.Servers .Append(ServerDetails.CreateOfficialInstance()) .ToList(); Selection = Servers.FirstOrDefault(server => server.Is(Plugin.Configuration.SelectedServer)); if (Selection == null) { Selection = Servers.First(); } }