}
public int getPreferredHeight(int width) {
int preferredHeight = thickness;
Separator separator = (Separator)getComponent();
String heading = separator.getHeading();
if (heading != null
&& heading.length() > 0) {
LineMetrics lm = font.getLineMetrics(heading, fontRenderContext);
preferredHeight = Math.max((int)Math.ceil(lm.getAscent() + lm.getDescent()