Update ISGCI-JGraphT.tex