RFE: JSlider does not format standard labels correctly

JSlider has an option to create standard labels for the slider. The standard labels are just numbers corresponding to the model range and tick marks settings. These numbers should be formatted with the appropriate NumberFormat for the slider's locale property.