[jdom-interest] root element

[Antonello Dell'Armi]

Is there an method to get the root of a docuent in jdom beta6?
I have implemented one very simple
 
public Element getRootElement(Element element){
 if(element.isRootElement())
  return element;
 else{
  Element newelement = element.getParent();
 return (getRootElement(newelement));
 }
}
 
Why it isn't included in the distribution?i think it can be useful.
Antonello