public void setTagTreeHighlightingOpacity(int tagTreeHighlightingOpacity) {
    myTagTreeHighlightingOpacity = tagTreeHighlightingOpacity;
  }
public void setTagTreeHighlightingOpacity(int tagTreeHighlightingOpacity)