89909192939495
public void setIndexPruner(SenseiIndexPruner pruner){ _pruner = pruner; } public SenseiIndexPruner getIndexPruner(){ return _pruner == null ? new DefaultSenseiIndexPruner() : _pruner; }