Non-graph-specific data structures, algorithms, and utilites used by
JGraphT
.