public class EOFException extends IOException { // Public Constructors public EOFException( ); public EOFException(String s); }