Bump jgrapht upstream dependency to 1.5.2