private void elementRenamedOrMoved(@NotNull PsiElement newElement) {
            if (newElement instanceof PsiModifierListOwner owner) {
              externalAnnotationsManager.elementRenamedOrMoved(owner, oldExternalName);
            }
          }
private void elementRenamedOrMoved(@NotNull PsiElement newElement)