org.jgrapht.alg.util.extension (JGraphT : a free Java graph library)