a Java library of graph theory data structures and algorithms