Update ISGCI-JGraphT.tex

addes some more structure