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

[Madjid Ghazi]

> 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.

No I am using version beta10. The reason it compiled was that I USED to
have a class called Parent that was a subclass of Element. (Now I know
how stupid that was).

But the basic suggestion I think is still valid for the same reasons
that equals() is final in some JDOM classes.

Madjid / Storm