firePropertyChange(SELECTION_BACKGROUND_PROPERTY_CHANGED, old, c);
firePropertyChange("selectionBackground", old, c);
  public void setSelectionBackground(Color c)  {    Color old = selectionBackground;    selectionBackground = c;    firePropertyChange(SELECTION_BACKGROUND_PROPERTY_CHANGED, old, c);    repaint();  }