small optimization, thanks to Puneet Jain
Merge branch 'master' of github.com:GraphChi/graphchi-java
fixed bug with the matrix market parser -- thanks Victoria for spotting it!