corrected a tiny little typo in ISGCI-JGraphT.tex