Exception3.java

class Test {
    /**
     *  @throws java.io.EOFException sometimes
     */
     public void foo() throws java.io.IOException {}
}