public void setSliderHasBeenMoved ( Boolean b ) {
        sliderHasBeenMoved_b = b;
    }
public void setSliderHasBeenMoved ( Boolean b ) {
        sliderHasBeenMoved_b = b;
    }
public void setsliderhasbeenmoved ( boolean b ) { sliderhasbeenmoved_b = b; }