jgrapht has not been in our deps for a long time