public void setTagTreeHighlightingLevelCount(int tagTreeHighlightingLevelCount) {
    myTagTreeHighlightingLevelCount = tagTreeHighlightingLevelCount;
  }
public void setTagTreeHighlightingLevelCount(int tagTreeHighlightingLevelCount)