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);
// slider.setBorder(BorderFactory.createLineBorder(Color.WHITE, 10));
Dictionary<?, ?> labelTable = slider.getLabelTable();
Collections.list(labelTable.keys()).stream()
    .filter(Integer.class::isInstance)
    .map(Integer.class::cast)
    .forEach(i -> {
      JLabel label = (JLabel) labelTable.get(i);
      label.setText(Objects.toString(i / 100));
    });
slider.setLabelTable(labelTable);