Source control for JGraphT has moved!

You can now find the latest code in github:

https://github.com/jgrapht/jgrapht

To send contributions, please submit a pull request there.