static int intFromSlider(JSlider slider) {
  ret getSliderValue(slider);
}