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