if (lineStyleListener != null) c.removePropertyChangeListener(lineStyleListener); lineStyleListener = null;
  public void uninstallUI(JComponent c)  {    // TODO: What to do here?    super.uninstallUI(c);  }