private ProgressIndicator unwrapAll(ProgressIndicator indicator) {
    // Can't use "ProgressWrapper.unwrapAll" here because it unwraps "ProgressWrapper"s only (not any "WrappedProgressIndicator")
    var unwrapped = indicator;
    while (unwrapped instanceof WrappedProgressIndicator wrapped) {
      unwrapped = wrapped.getOriginalProgressIndicator();
    }
    return unwrapped;
  }
private ProgressIndicator unwrapAll(ProgressIndicator indicator)