Add missing Override annotations in org.jgrapht.ext

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