16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 
  24 /* @test
  25    @bug 4290060
  26    @summary Check if the zip file is closed before access any
  27             elements in the Enumeration.
  28  */
  29 
  30 import java.io.*;
  31 import java.util.zip.*;
  32 import java.util.Enumeration;
  33 
  34 public class EnumAfterClose {
  35     public static void main(String args[]) throws Exception {
  36         ZipFile zf = new ZipFile(new File(System.getProperty("test.src", "."),
  37                                           "input.zip"));
  38         Enumeration e = zf.entries();
  39         zf.close();


  40         try {
  41             if (e.hasMoreElements()) {
  42                 ZipEntry ze = (ZipEntry)e.nextElement();
  43             }
  44         } catch (IllegalStateException ie) {
  45         }
  46     }
  47 }

  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 
  24 /* @test
  25    @bug 4290060
  26    @summary Check if the zip file is closed before access any
  27             elements in the Enumeration.
  28  */
  29 
  30 import java.io.*;
  31 import java.util.zip.*;
  32 import java.util.Enumeration;
  33 
  34 public class EnumAfterClose {
  35     public static void main(String args[]) throws Exception {
  36         Enumeration e;
  37         try (ZipFile zf = new ZipFile(new File(System.getProperty("test.src", "."),
  38                                                "input.zip"))) {
  39             e = zf.entries();
  40         }
  41         // ensure that the ZipFile is closed before checking the Enumeration
  42         try {
  43             if (e.hasMoreElements()) {
  44                 ZipEntry ze = (ZipEntry)e.nextElement();
  45             }
  46         } catch (IllegalStateException ie) {
  47         }
  48     }
  49 }