@@ -215,11 +215,16 @@ String imageName() { return jimage.getFileName().toString(); } int entries() { - return getHeader().getLocationCount(); + try { + return getHeader().getTableLength(); + } catch (IOException ex) { + failed.add(imageName() + ": can't access header"); + return 0; + } } void compare(String entry, Path p) { try { byte[] bytes = Files.readAllBytes(p);