jgrapht/jgrapht — pull request #110 by altenbernd (2014-12-12 05:19:36+00:00)
Title: Add missing Override annotations in org.jgrapht.graph (part 1).

This pull request adds Override annotations for some classes in the org.jgrapht.graph package hierarchy.

I have split this up into two pull requests, because there were over 200 missing annotations.