public void reset(int[] docs, int[] freqs) {this.docs = docs;this.freqs = freqs;if (freqs != null && tmpFreqs == null) {tmpFreqs = new int[tmpDocs.length];}}

public void Reset(int[] docs, int[] freqs){this.docs = docs;this.freqs = freqs;if (freqs != null && tmpFreqs == null){tmpFreqs = new int[tmpDocs.Length];}}
