if (scrollBar == null || !scrollBar.getValueIsAdjusting()) { if (timer != null) timer.stop(); updateSize(); timer = null; scrollBar = null; }
    public void actionPerformed(ActionEvent ae)    throws NotImplementedException    {      // TODO: Implement this properly.    }