}
    public void mouseReleased(MouseEvent e)    {      currentMouseX = e.getX();      currentMouseY = e.getY();      if (slider.getValueIsAdjusting())        {	  slider.setValueIsAdjusting(false);	  if (slider.getSnapToTicks())	    slider.setValue(findClosestTick(slider.getValue()));        }      if (scrollTimer != null)	scrollTimer.stop();    }