super.propertyChange(ev);
  public void propertyChange(PropertyChangeEvent ev)  {    String propertyName = ev.getPropertyName();    if (propertyName.equals("windowDecorationStyle"))      {        JRootPane rp = (JRootPane) ev.getSource();        if (rp.getWindowDecorationStyle() != JRootPane.NONE)          installWindowDecorations(rp);        else          uninstallWindowDecorations(rp);      }  }