jgrapht.org
