docs: public static LoggerWrapper getLogger(String name, ProgressManager pm) {
          LoggerWrapper ret = getLogger(name);
  
          if (ret.getProgressManager() == null
                  || ret.getProgressManager() == LoggerWrapper.defaultProgressManager) {
              ret.setProgressManager(pm);
          }
  
          return ret;
      }