@Deprecated
  public final @Nullable StubElement<?> getGreenStub() {
    StubTree stubHolder = getGreenStubTree();
    return stubHolder != null ? stubHolder.getRoot() : null;
  }
@Deprecated
  public final @Nullable StubElement<?> getGreenStub()