private void appendShortName(@NotNull StringBuilder buf, RefElement refElement) {
    final HTMLComposerExtension<?> extension = getLanguageExtension(refElement);
    if (extension != null) {
      extension.appendShortName(refElement, buf);
    } else {
      refElement.accept(new RefVisitor() {
        @Override public void visitFile(@NotNull RefFile file) {
          final PsiFile psiFile = file.getPsiElement();
          if (psiFile != null) {
            buf.append(B_OPENING);
            buf.append(psiFile.getName());
            buf.append(B_CLOSING);
          }
        }
      });
    }
  }
private void appendShortName(@NotNull StringBuilder buf, RefElement refElement)