docs: private void updateParamBox() {
          if (this.variedParamValues == null || this.variedParamValues.length == 0) {
              // no varied parameter -> set to empty box
              this.paramBox.removeAllItems();
              this.paramBox.setEnabled(false);
          } else if (this.paramBox.getItemCount() != this.variedParamValues.length) {
              // varied parameter changed -> set the paramBox new
              this.paramBox.removeAllItems();
              for (int i = 0; i < variedParamValues.length; i++) {
                  this.paramBox.addItem(String.format("%s: %s", this.variedParamName, this.variedParamValues[i]));
              }
              this.paramBox.setEnabled(true);
          }
      }