Name: saC57035 Date: 11/28/96


The java.io.LineNumberInputStream.read(byte[] b) method isn't imlemented
though Java Language Specification version 1.0 states (see item 22.12.3):

"22.12.3 public int read(byte[] b) throws IOException, NullPointerException

See the general contract of the read method of InputStream (i 22.3.2).

As bytes are read from the contained input stream, line terminators are recognized and
counted. For each line terminator recognized in the contained input stream, a single
character '\n' is returned.

Overrides the read method of FilterInputStream (i 22.9.4)."
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The FilterInputStream.read(b) method is inherited instead (which works
correct, by the way). I suppose this JLS excerpt should be removed.

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