code: 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;
      }
docs: Returns or creates a logger that forwards messages to a {@link ProgressManager}. If the
  logger does not yet have any progress manager assigned, the given one will be used.
  
  @param name The logger's unique name. By default the calling class' name is used.
  @param pm   The logger's progress manager. This value is only used if a logger object has to
  be created or a logger with a given name does not yet have any progress manager
  assigned or if the default progress manager is used.
  @return A logger that forwards messages to a {@link ProgressManager}.