[jdom-interest] Suggestion : make Element.getParent() final ?

[Elliotte Rusty Harold]

I suspect you're using an older version of JDOM. In the latest beta 
10 version getParent() returns a Parent object rather than an Object, 
and therefore I doubt you could have gotten away with what you did.
-- 

   Elliotte Rusty Harold
   elharo at metalab.unc.edu
   Effective XML (Addison-Wesley, 2003)
   http://www.cafeconleche.org/books/effectivexml
   http://www.amazon.com/exec/obidos/ISBN%3D0321150406/ref%3Dnosim/cafeaulaitA