Name: mlR10151 Date: 06/04/2001
The previous version of the spec. (b65) declares that
seek() throws EOFEx. "if the end of the stream is passed".
Evaluation of the 4431501 says:
"Remove doc about EOFException since seek should not be responsible for this.
It will be thrown when a read is performed following the seek. This is
consistent with the behavior of exiting classes such as RandomAccessFile."
Now (build b66) line about EOFException is removed and there are no words about how it
should behave if the end of stream passed.
Some words should be added here to clarify this situation.
Note that spec for the RandomAccessFile says:
"The offset may be set beyond the end of the file. Setting the offset beyond
the end of the file does not change the file length. The file length will change only by
writing after the offset has been set beyond the end of the file."