Add missing Override annotations in org.jgrapht.traverse

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