private Document merge(Document left, Document right)
{
try
{
Document doc = createUnifiedDocument(left, right);
<BUG>org.jdom.output.DOMOutputter outputter = new org.jdom.output.DOMOutputter();
org.w3c.dom.Document domDocument = outputter.output(doc);</BUG>
javax.xml.transform.Source xmlSource =
new javax.xml.transform.dom.DOMSource(domDocument);
if (transformer == null)

private Document merge(Document left, Document right)
{
try
{
Document doc = createUnifiedDocument(left, right);
DOMOutputter outputter = new DOMOutputter();
org.w3c.dom.Document domDocument = outputter.output(doc);
javax.xml.transform.Source xmlSource =
new javax.xml.transform.dom.DOMSource(domDocument);
if (transformer == null)
