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