jgrapht/jgrapht — pull request #111 by altenbernd (2014-12-12 05:20:08+00:00)
Title: Add missing Override annotations in org.jgrapht.graph (part 2).

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