options.add("" + getPeriodicPruning()); options.add("-M"); options.add("" + getMinWordFrequency());
options.add("" + getPeriodicPruning()); options.add("-M"); options.add("" + getMinWordFrequency());
options.add("" + getPeriodicPruning()); options.add("-M"); options.add("" + getMinWordFrequency());
options.add("" + getPeriodicPruning()); options.add("-M"); options.add("" + getMinWordFrequency());