title: JSlider for doubles
body: <p>I am making a GUI (using swing) for a poker framework and need some sort of slider to allow players to select a bet size. However the Swing <code>JSlider</code> only works with int values whereas I need something that can support doubles for 1 decimal point. Are there any libraries I can use, or tricks with the <code>JSlider</code>?</p>