public DirectPostingsFormat(int minSkipCount, int lowFreqCutoff) {super("Direct");this.minSkipCount = minSkipCount;this.lowFreqCutoff = lowFreqCutoff;}

public DirectPostingsFormat(int minSkipCount, int lowFreqCutoff): base(){_minSkipCount = minSkipCount;_lowFreqCutoff = lowFreqCutoff;}
