Upgrade JGraphT to 0.9.2-hal