@NotNull
  public MavenIndexHolder getIndexHolder() {
    if (isDisposed) {
      throw new AlreadyDisposedException("Index was already disposed");
    }
    return myIndexHolder;
  }
@NotNull
  public MavenIndexHolder getIndexHolder()