code: public void reset()
      {
          int value = (int) Math.round(range * defaultValue.doubleValue());
          probabilitySlider.setValue(value);
          valueLabel.setText(format.format(defaultValue));
          numberGenerator.setValue(defaultValue);
      }
docs: {@inheritDoc}