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 int available() method of class java.io.PipedInputStream.

It is seen from the source code that java.io.PipedInputStream class overrides
available method of java.io.InputStream so that it returns the actual number of
bytes available instead of 0.
However, specification does not mention this fact (see item 22.5, p.687).

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