else
} else {
  private boolean optimizedMoveThumb( int newValue )  {	// Save old location	Range oldRange = new Range( getThumbStart(), getThumbWidth() );	int oldValue = getValue();			// Update and paint at new location	setValue( newValue );	if( getValue() == oldValue ) return false;	Graphics g = getGraphics();	paint( g );	// Clean up what's left of old location	Range newRange = new Range( getThumbStart(), getThumbWidth() );	Range leftovers = minus( oldRange, newRange );	if( leftovers != null )	  {	g.setColor( getBackground() );	if( getOrientation() == Adjustable.HORIZONTAL )	  g.fillRect( leftovers.start, 0+1,  leftovers.width, getSize().height-2 );	else	  g.fillRect( 0+1, leftovers.start,  getSize().width-2, leftovers.width );	  }	return true;  }  