bug in jdom's version