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