delete unnecessary code and fix a minor problem#13

zark721 wants to merge 1 commit intoGraphChi:masterGraphChi/graphchi-java:masterfrom

zark721:masterzark721/graphchi-java:masterCopy head branch name to clipboard