@Override
  public @Nullable StubTree getStubTree() {
    Pair<StubTree, FileElement> result = getStubTreeOrFileElement();
    return result.second == null ? result.first : null;
  }
@Override
  public @Nullable StubTree getStubTree()