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);