declare namespace java {
    namespace io {
        // @ts-ignore
         class EOFException extends java.io.IOException {
            /**
             * Constructs an <code>EOFException</code> with <code>null</code>
             * as its error detail message.
             */
            // @ts-ignore
            constructor()
            /**
             * Constructs an <code>EOFException</code> with the specified detail
             * message. The string <code>s</code> may later be retrieved by the
             * <code>{@link java.lang.Throwable#getMessage}</code> method of class
             * <code>java.lang.Throwable</code>.
             */
            // @ts-ignore
            constructor(s: string)
        }
    }
}
