private @NotNull ModCommand getHighlightCommand() {
      if (myHighlightInfos.isEmpty()) return nop();
      return new ModHighlight(myNavigationFile, myHighlightInfos);
    }
private @NotNull ModCommand getHighlightCommand()