if (dot >= 0) { Document doc = textComponent.getDocument(); if (doc != null) this.dot = Math.min(dot, doc.getLength()); this.dot = Math.max(this.dot, 0);  handleHighlight(); appear(); adjustVisibility(this); }
NavigationFilter filter = textComponent.getNavigationFilter(); if (filter != null) filter.moveDot(getBypass(), dot, Bias.Forward); else moveDotImpl(dot);
  public void moveDot(int dot)  {    if (dot >= 0)      {        Document doc = textComponent.getDocument();        if (doc != null)          this.dot = Math.min(dot, doc.getLength());        this.dot = Math.max(this.dot, 0);            handleHighlight();        appear();        adjustVisibility(this);      }  }