@Override
    public @Nullable VirtualFile getHighlightFile() {
      return myReferent != null ? myReferent.getHighlightFile() : null;
    }
@Override
    public @Nullable VirtualFile getHighlightFile()