14a15
> import java.lang.*;
29a31,34
> import org.jdom.Document;
> import org.jdom.input.DOMBuilder;
> import org.jdom.output.XMLOutputter;
>
179a185,189
>
> DOMBuilder db = new DOMBuilder();
> org.jdom.Document doc = db.build((org.w3c.dom.Document) myDocument);
> org.jdom.output.XMLOutputter xo = new org.jdom.output.XMLOutputter(" ");
> xo.output(doc,System.out);