height += tickHeight;
height += getTickLength();
  public Dimension getPreferredHorizontalSize()  {    Insets insets = slider.getInsets();        // The width should cover all the labels (which are usually the    // deciding factor of the width)    int width = getWidthOfWidestLabel() * (slider.getLabelTable() == null ? 0                                                                          : slider.getLabelTable()                                                                                  .size());        // If there are not enough labels.    // This number is pretty much arbitrary, but it looks nice.    if (width < 200)      width = 200;        // We can only draw inside of the focusRectangle, so we have to    // pad it with insets.    width += insets.left + insets.right + focusInsets.left + focusInsets.right;          // Height is determined by the thumb, the ticks and the labels.    int height = thumbHeight;    if (slider.getPaintTicks() && slider.getMajorTickSpacing() > 0        || slider.getMinorTickSpacing() > 0)      height += tickHeight;    if (slider.getPaintLabels())      height += getHeightOfTallestLabel();        height += insets.top + insets.bottom + focusInsets.top    + focusInsets.bottom;	          return new Dimension(width, height);  }