Bump jgrapht upstream dependency to 1.5.2

No match.