svoid setSliderValue(JSlider slider, int value) {
  if (slider != null) swing {
    slider.setValue(value);
  }
}