[jdom-interest] Attribute.getDoubleValue and infinity

[Marco Nijdam]

Dear JDOM developers,

First of all thanks for developing JDom.

Looking in the mailing lists and such I couldn't find any mention of the
following minor problem:

The Attribute.getDoubleValue will not handle XML schema compliant values
for positive and negative infinity (INF and -INF).
The implementation directly used Double.valueOf, which uses the Java
representation, being Infinity resp -Infinity.

The method does not document being XML schema compliant, but since it
is a commonly used XML document definition language you might want to
support it.

Kind regards,
--
-- Marco Nijdam,         marco at west.nl
-- West Consulting B.V., Delftechpark 5, 2628 XJ  Delft, The Netherlands
-- Tel: +3115 219 1600,  Fax: +3115 214 7889