public DocFreqSorter(int maxDoc) {super(maxDoc / 64);this.tmpDocs = new int[maxDoc / 64];}

public DocFreqSorter ( int maxDoc ) { super ( maxDoc / 64 ) ; this . tmpDocs = new int [ maxDoc / 64 ] ; }
public DocFreqSorter(int maxDoc): base(maxDoc / 64){this.tmpDocs = new int[maxDoc / 64];}
