@Nullable
  @Override
  public String getName() {
    final PyNamedParameterStub stub = getStub();
    if (stub != null) {
      return stub.getName();
    }
    else {
      return PyNamedParameter.super.getName();
    }
  }
@Nullable
  @Override
  public String getName()