@Override
  public void facetRenamed(@NotNull final Facet facet, @NotNull final String oldName) {
    FacetPointersManager manager = FacetPointersManager.getInstance(myProject);
    if (manager instanceof FacetPointersManagerImpl managerImpl) {
      managerImpl.refreshPointers();
    }
  }
@Override
  public void facetRenamed(@NotNull final Facet facet, @NotNull final String oldName)