return getPreferredVerticalSize();
{ int width = getThumbSize().width;  if (slider.getPaintTicks() && slider.getMajorTickSpacing() > 0 || slider.getMinorTickSpacing() > 0) width += getTickLength();  if (slider.getPaintLabels()) width += getWidthOfWidestLabel();  width += insets.left + insets.right + focusInsets.left + focusInsets.right;  return new Dimension(width, 32767); }
  public Dimension getMaximumSize(JComponent c)  {    if (slider.getOrientation() == JSlider.HORIZONTAL)      return getPreferredHorizontalSize();    else      return getPreferredVerticalSize();  }