Name: saC57035 Date: 10/05/98


The specs for Properties.store(OutputStream out, String header)
don't describe the method's behaviour if out is null.

JDK 1.1.X releases silently accept null and do nothing. Starting with
JDK 1.2 NullPointerException is thrown in this case. The scarce docs
make impossible to determine which behaviour is correct.

======================================================================