jgrapht/jgrapht — pull request #94 by aristiden7o (2014-06-05 03:34:32+00:00)
Title: fix broken URL in Graph interface's javadoc

fixes https://github.com/jgrapht/jgrapht/issues/93