public boolean isGotoBySeverityEnabled(HighlightSeverity minSeverity) {
    return minSeverity != HighlightSeverity.INFORMATION;
  }
public boolean isGotoBySeverityEnabled(HighlightSeverity minSeverity)