Upgrade to JGraphT 1.5.3
18 files changed