public static SettingsDetails Merge(SettingsDetails settings1, SettingsDetails settings2)
{
return new SettingsDetails(settings1.DoNotTraverse || settings2.DoNotTraverse,
settings1.IgnoreArnolyzerHome || settings2.IgnoreArnolyzerHome,
settings1.IgnorePaths.Concat(settings2.IgnorePaths).ToList());
}