docs: public static void extractZipEntry(final ZipFile zipFile, final ZipEntry target,
  		final File toDirectory) throws IOException
  	{
  		final File fileToExtract = new File(toDirectory, target.getName());
  		new File(fileToExtract.getParent()).mkdirs();
  
  		try (InputStream is = zipFile.getInputStream(target);
  			BufferedInputStream bis = new BufferedInputStream(is);
  			FileOutputStream fos = new FileOutputStream(fileToExtract);
  			BufferedOutputStream bos = new BufferedOutputStream(fos))
  		{
  			for (int c; (c = bis.read()) != -1;)
  			{
  				bos.write((byte)c);
  			}
  			bos.flush();
  		}
  		catch (final IOException e)
  		{
  			throw e;
  		}
  	}