This code is from the Java Swing library for implementing the Multi Thumb slider, and was used to develop the RSF Slider.