A huge shout-out goes to Andreas Schnaiter, Isaac Kleinman, Owen
Jacobson, Oliver Schrenk, and Oliver Kopp for their help with the
project modernization efforts. It has been really gratifying to see
everyone pitch in to keep JGraphT in step with the times.
And as always, a hearty thanks to all who made suggestions and code
contributions for this release, big or small.