Description of problem: From the jdom web page: JDOM 1.1 is available! This is a recommended upgrade for anyone still using JDOM 1.0. We're operating in maintenance mode and don't anticipate a major revision unless something changes in the XML landscape. Version-Release number of selected component (if applicable): How reproducible: Steps to Reproduce: 1. 2. 3. Actual results: Expected results: Additional info:
1.1 is in F13, so this completed.