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