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