if (e.getPropertyName().equals(JMenuBar.BORDER_PAINTED_CHANGED_PROPERTY))
if (e.getPropertyName().equals("borderPainted"))
    public void propertyChange(PropertyChangeEvent e)    {      if (e.getPropertyName().equals(JMenuBar.BORDER_PAINTED_CHANGED_PROPERTY))	menuBar.repaint();      if (e.getPropertyName().equals(JMenuBar.MARGIN_CHANGED_PROPERTY))	menuBar.repaint();    }