int width = thumbHeight;
int width = getThumbSize().width;
  public Dimension getPreferredVerticalSize()  {    Insets insets = slider.getInsets();        int height = getHeightOfTallestLabel() * (slider.getLabelTable() == null                                              ? 0 : slider.getLabelTable()                                                          .size());        if (height < 200)      height = 200;          height += insets.top + insets.bottom + focusInsets.top    + focusInsets.bottom;    int width = thumbHeight;        if (slider.getPaintTicks() && slider.getMajorTickSpacing() > 0        || slider.getMinorTickSpacing() > 0)      width += tickHeight;    if (slider.getPaintLabels())      width += getWidthOfWidestLabel();    width += insets.left + insets.right + focusInsets.left + focusInsets.right;	         return new Dimension(width, height);  }