Update JGraphT

Use jgrapht-core 0.9.0