jgrapht/jgrapht — pull request #104 by altenbernd (2014-12-10 22:15:13+00:00)
Title: Add missing Override and Deprecated annotations in org.jgrapht.event

This pull request adds Override and Deprecated annotations for classes in the org.jgrapht.event package hierarchy.