Java in a Nutshell Online Quick Reference for Java 1.1
Availability: JDK 1.1
public class PropertyChangeEvent extends EventObject {
   // Public Constructor
      public PropertyChangeEvent(Object source, String propertyName, Object oldValue, Object newValue);
   // Public Instance Methods
      public Object getNewValue();
      public Object getOldValue();
      public Object getPropagationId();
      public String getPropertyName();
      public void setPropagationId(Object propagationId);
}