Add missing Override annotations in org.jgrapht.graph (part 1).
Merge pull request #110 from altenbernd/missing-annotations-org.jgrapht.graph-1

Add missing Override annotations in org.jgrapht.graph (part 1).