pref = horizontalPrefSize;
pref = new Dimension(0, 2);
  public Dimension getPreferredSize(JComponent c)  {    Dimension pref = verticalPrefSize;    if (c instanceof JSeparator)      {	JSeparator s = (JSeparator) c;	if (s.getOrientation() == JSeparator.HORIZONTAL)          pref = horizontalPrefSize;      }    return pref;  }