public RandomSamplingFacetsCollector(int sampleSize, long seed) {super(false);this.sampleSize = sampleSize;this.random = new XORShift64Random(seed);this.sampledDocs = null;}

public RandomSamplingFacetsCollector ( int sampleSize , long seed ) { super ( false ) ; this . sampleSize = sampleSize ; this . random = new XORShift64Random ( seed ) ; this . sampledDocs = null ; }
public RandomSamplingFacetsCollector(int sampleSize, long seed): base(false){this.sampleSize = sampleSize;this.random = new XORShift64Random(seed);this.sampledDocs = null;}
