Dimension pref;
  protected int getHeightOfTallestLabel()  {    int tallest = 0;    Component label;    if (slider.getLabelTable() == null)      return 0;    for (Enumeration list = slider.getLabelTable().elements();         list.hasMoreElements();)      {	Object comp = list.nextElement();	if (! (comp instanceof Component))	  continue;	label = (Component) comp;	if (label.getHeight() > tallest)	  tallest = label.getHeight();      }    return tallest;  }