Name: saf@russia Date: 09/06/96


This bug was found by St.Petersburg Java SQE team (by Stanislav Avzan).

The Java Language specification (Version 1.0 - August 1, 1996) does not describe
public void flush() method of class java.io.PipedOutputStream.

It is seen from the source code that java.io.PipedOutputStream class overrides
flush method of java.io.OutputStream so that it notifies the waiting reader.
However, specification does not mention this fact (see item 22.17, p.725).

Workaround:
None
======================================================================