static int getSliderValue(JSlider slider) swing {
  ret slider == null ? 0 : slider.getValue();
}