4.0.0 thirdparty jgrapht-jdk1.6 0.8.1