@ApiStatus.Internal
  public ArrayList<HighlightedRegion> getHighlightedRegions() {
    return myHighlightedRegions;
  }
@ApiStatus.Internal
  public ArrayList<HighlightedRegion> getHighlightedRegions()