svoid setSliderValue(JSlider slider, int value) {
  if (slider != null) swing {
    // clamp for convenience (XXX - necessary?)
    slider.setValue(
      clamp(value,
        slider.getMinimumValue(),
        slider.getMaximumValue());
  }
}