geotools/geotools — pull request #223 by bernardladenthin (2013-07-05 13:48:46+00:00)
Title: update jdom version to 1.1.3

update jdom to the latest 1.x version