private void Write13_SettingsProvider(string n, string ns, SettingsProvider o, bool isNullable, bool needType)
 {
     if (o == null)
     {
         if (isNullable)
         {
             base.WriteNullTagLiteral(n, ns);
         }
     }
     else if (!needType)
     {
         System.Type type = o.GetType();
         if (type != typeof(SettingsProvider))
         {
             if (type != typeof(ConfigurableSettingsProvider))
             {
                 throw base.CreateUnknownTypeException(o);
             }
             this.Write14_ConfigurableSettingsProvider(n, ns, (ConfigurableSettingsProvider) o, isNullable, true);
         }
     }
 }