Upgrade JDOM to 2.0.5

This leads to an incompatible API because of the changed JDOM namespace
(new: org.jdom2).
Version 2.0.0