docs: private void updateProgressBar(Progress prog, JProgressBar pbar) {
      if(prog instanceof FiniteProgress) {
        pbar.setValue(((FiniteProgress) prog).getProcessed());
        pbar.setString(((FiniteProgress) prog).toString());
      }
      else if(prog instanceof IndefiniteProgress) {
        pbar.setValue(((IndefiniteProgress) prog).getProcessed());
        pbar.setString(((IndefiniteProgress) prog).toString());
      }
      else if(prog instanceof MutableProgress) {
        pbar.setValue(((MutableProgress) prog).getProcessed());
        pbar.setMaximum(((MutableProgress) prog).getProcessed());
        pbar.setString(((MutableProgress) prog).toString());
      }
      else {
        throw new RuntimeException("Unsupported progress record");
      }
    }