#1240 Indenting of XML (applies to both XML indenter & XML plugin

[db]

When indenting an XML like string like this

<?xml version="1.0"?><a> <b/> </a><?xml version="1.0"?><a> <b/> </a>

(that is, string with two XML messages in the same file) the result looks like this:

<?xml version="1.0"?>
<a>
<b/>
</a><?xml version="1.0"?>
<a>
<b/>
</a>

I think it should look more like this

<?xml version="1.0"?>
<a>
<b/>
</a>
<?xml version="1.0"?>
<a>
<b/>
</a>

or even maybe like this:

<?xml version="1.0"?>
<a>
<b/>
</a>

<?xml version="1.0"?>
<a>
<b/>
</a>

(note the empty line before the XML-declaration, could even use a long comment such as <!------------------------------------> for separating the two XMLs)