@NotNull
  @Override
  public String getSdkName() {
    JpsTypedLibrary<JpsSdk<JpsDummyElement>> sdk = resolve();
    return sdk != null ? sdk.getName() : "<unknown>";
  }
@NotNull
  @Override
  public String getSdkName()