scrollTimer.stop();  if (scrollbar.getValueIsAdjusting()) scrollbar.setValueIsAdjusting(false);
scrollListener.setScrollByBlock(false); scrollbar.setValueIsAdjusting(true);
    public void mouseReleased(MouseEvent e)    {      trackHighlight = NO_HIGHLIGHT;      scrollTimer.stop();            if (scrollbar.getValueIsAdjusting())        scrollbar.setValueIsAdjusting(false);      scrollbar.repaint();    }