{
XmlSerializer serializer = new MXSerializer();
serializer.setProperty( "http://xmlpull.org/v1/doc/properties.html#serializer-indentation", " " );
serializer.setProperty( "http://xmlpull.org/v1/doc/properties.html#serializer-line-separator", "\n" );
serializer.setOutput( stream, settings.getModelEncoding() );
serializer.startDocument( settings.getModelEncoding(), null );
writeSettings( settings, "settings", serializer );
serializer.endDocument();
} //-- void write( OutputStream, Settings )
/**