java: public PostingsEnum reset(int[] postings) {this.postings = postings;upto = -2;freq = 0;return this;}
C#: public DocsEnum Reset(int[] postings){this.postings = postings;upto = -2;freq_Renamed = 0;return this;}