--- old/src/java.base/share/classes/jdk/internal/jmod/JmodFile.java 2017-02-07 13:13:40.069700466 +0000 +++ new/src/java.base/share/classes/jdk/internal/jmod/JmodFile.java 2017-02-07 13:13:39.900688860 +0000 @@ -186,7 +186,7 @@ public Entry getEntry(Section section, String name) { String entry = section.jmodDir() + "/" + name; ZipEntry ze = zipfile.getEntry(entry); - return (ze != null) ? new Entry(ze) : null; + return (ze == null || ze.isDirectory()) ? null : new Entry(ze); } /** @@ -201,7 +201,7 @@ { String entry = section.jmodDir() + "/" + name; ZipEntry e = zipfile.getEntry(entry); - if (e == null) { + if (e == null || e.isDirectory()) { throw new IOException(name + " not found: " + file); } return zipfile.getInputStream(e);