svoid setSliderMax(JSlider slider, int max) {
  if (slider != null) swing {
    slider.setMaximum(max);
  }
}