Add more JGraphT stuff.