161162163164165166167168
public Border getDesignBorder() { JFrame jframe = (JFrame) getWidget(); boolean undec = jframe.isUndecorated(); if (undec) return super.getDesignBorder(); FrameBorder frameBorder = new FrameBorder((JFrame) getWidget()); return frameBorder; }