@Override
  public @NotNull RefEntity getRefinedElement(@NotNull RefEntity ref) {
    for (RefManagerExtension<?> extension : myExtensions.values()) {
      ref = extension.getRefinedElement(ref);
    }
    return ref;
  }
@Override
  public @NotNull RefEntity getRefinedElement(@NotNull RefEntity ref)