docs: final void firePropertyChange(String property, Object oldValue,
                                    Object newValue)
      {
          Object listeners = propertyListeners;
          if (listeners != null) {
              firePropertyChangeImpl(listeners, property, oldValue, newValue);
          }
      }