GraphChi's Java version