fine tune Slider.java