Correcting version number for org.jgrapht.