value.setValue(completeSources);
search_tree.addNodeIfNeed(value);
}
public void setMaxCompleteSources(long completeSources) {
NodeValue value = new NodeValue(NodeType.MAXCOMPLETESRC);
value.setValue(completeSources);
search_tree.addNodeIfNeed(value);
}