The documentation for java.io.DataInput.skipBytes, as it appears in JDK 1.3
RC1 and as per the specification maintenance information contains two
errors:

1. The main description states "this method never throws EOFException" but
the Throws section states " EOFException if this stream reaches the end
before skipping all bytes".

The Throw section is incorrect.

2. The main description states "Makes an attempt to skip over n bytes of
data from the input stream, discarding the skipped bytes. However, it may
skip over some smaller number of bytes, possibly zero", but the Return
section states "Returns: the number of bytes skipped, which is always n."

The Return section is incorrect.