firePropertyChange(SELECTION_FOREGROUND_PROPERTY_CHANGED, old, c);
firePropertyChange("selectionForeground", old, c);
  public void setSelectionForeground(Color c)  {    Color old = selectionForeground;    selectionForeground = c;    firePropertyChange(SELECTION_FOREGROUND_PROPERTY_CHANGED, old, c);  }