jgrapht/jgrapht — pull request #103 by altenbernd (2014-12-10 21:36:12+00:00)
Title: Add missing Override and Deprecated annotations in org.jgrapht.alg

As discussed in #102, this pull request adds Override annotations for classes in the org.jgrapht.alg package hierarchy. I have created a new branch instead of splitting up #9, because that seemed easier to me.