Updated JGraphT lib.