Name: auR10023 Date: 09/28/2000


  
java.util.Observable.deleteObserver(Observer) should throw NPE with null because
null Observer could not be added to observers list because addObserver(Observer)
throws NPE if null parameter is passed. Javadoc should specify this behavior.
  
======================================================================