Method read

src/main/java/com/diffplug/gradle/ZipMisc.java:56–73

Reads the given entry from the zip. @param input a zip file @param toRead a path within that zip file @param reader will be called with an InputStream containing the contents of that entry in the zip file

(File input, String toRead, Throwing.Specific.Consumer<InputStream, IOException> reader)

	 * @param reader	will be called with an InputStream containing the contents of that entry in the zip file
	 */
	public static void read(File input, String toRead, Throwing.Specific.Consumer<InputStream, IOException> reader) throws IOException {
		try (
				ZipFile file = new ZipFile(input);
				InputStream stream = file.getInputStream(file.getEntry(toRead));) {
			reader.accept(stream);
		} catch (NullPointerException e) {
			if (e.getMessage().equals("entry")) {
				System.err.println("No such entry: " + toRead);
				try (ZipFile file = new ZipFile(input)) {
					Enumeration<? extends ZipEntry> entries = file.entries();
					while (entries.hasMoreElements()) {
						ZipEntry entry = entries.nextElement();
						System.err.println("  available: " + entry.getName());
					}
				}
			}
		}
	}

	/**
	 * Reads the given entry from the zip.