[scala-bts] #3062: scala.xml.Utility.trim() doesn't properly handle adjacent Text nodes

-------------------+--------------------------------------------------------
Reporter: harryh | Owner: scala-xml_team
Type: defect | Status: new
Priority: normal | Component: XML support
Keywords: |
-------------------+--------------------------------------------------------
if Text("My name is ") followed by Text("Harry") the space following the
word "is" will be incorrectly trimmed out. Adjacent Text nodes need to be
combined before whitespace is removed.

{{{
scala> import scala.xml._
import scala.xml._

scala> {Text("My name is ")}{Text("Harry")}
res0: scala.xml.Elem = My name is Harry

scala> Utility.trim(res0)
res1: scala.xml.Node = My name isHarry
}}}

This is important when modifying XML and then trimming it. For example we
might start with My name is and then replace the
Elem with "Harry" thus leading to the adjacent Text nodes.