private static void SaveJenkinsServers() { var newJenkinsServerList = new JenkinsServerList(); newJenkinsServerList.AddRange(_serversCopy); Settings.Default.JenkinsServers = newJenkinsServerList; Settings.Default.Save(); }