public void setVolumeSlider(int volume) {
public void setVolumeSlider(final int volume) {
  public void setVolumeSlider(int volume) {    //System.out.println("setVolumeSlider: " + volume + " dB");    if (isMac())      volumeScale.setSelection((VOLUME_SPAN - VOLUME_OFFSET + volume) / VOLUME_RESOLUTION);    else      volumeScale.setSelection((VOLUME_OFFSET - volume) / VOLUME_RESOLUTION);  }