Java Threads (erratum)

[phw <P.H.Welch@xxxxxxxxx>]

In the posting I just made, please change:

  public abstract void read (ByteOK result) throws EndOfStream;

to:

  public abstract void read (ByteOK result) throws IOException;

Apologies,

Peter.