Termination Criterion and PageRank for the new Java API