Add missing Override annotations in org.jgrapht.util

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