[jdom-interest] Document.getRootElement()

[Ernst de Haan]

Hi,


The Javadoc for org.jdom.Document says:

   public Element getRootElement() throws NoSuchElementException

   This will return the root Element for this Document, or null if there
   is none.

   Returns:
         Element - the document's root element
   Throws:
         NoSuchElementException - - when no root element exists.


There is a contradiction here: Does the method return null or does it
throw a NoSuchElementException?


Ernst