/**@class java.io.EOFException
@extends java.io.IOException

 Signals that an end of file or end of stream has been reached
 unexpectedly during input.
 <p>
 This exception is mainly used by data input streams to signal end of
 stream. Note that many other input operations return a special value on
 end of stream rather than throwing an exception.
 <p>

 @author  Frank Yellin
 @see     java.io.DataInputStream
 @see     java.io.IOException
 @since   JDK1.0
*/
var EOFException = {


};