JSliderの数値テキストラベルを更新する

JSlider slider = new JSlider(0, 10000);
slider.putClientProperty("Slider.paintThumbArrowShape", Boolean.TRUE);
slider.setMajorTickSpacing(2500);
slider.setMinorTickSpacing(500);
slider.setPaintLabels(true);
slider.setPaintTicks(true);
slider.setSnapToTicks(true);
Object labelTable = slider.getLabelTable();
if (labelTable instanceof Map) {
  ((Map<?, ?>) labelTable).forEach((key, value) -> {
    if (key instanceof Integer && value instanceof JLabel) {
      JLabel label = (JLabel) value;
      label.setText(Integer.toString((Integer) key / 100));
    }
  });
}
slider.setLabelTable(labelTable);