@Override
  public @Nullable Stub getGreenStub() {
    StubTree tree = myFile.getGreenStubTree();
    return tree == null ? null : tree.getPlainList().get(myIndex);
  }
@Override
  public @Nullable Stub getGreenStub()