code: public void addFile(String zipEntry, String filename) throws IOException {
  		addFile(zipEntry, new File(filename));
  	}
docs: Adds a file to a ZIP archive, given its path.
  
  @param zipEntry
  the name of the entry in the archive; if null, the name of the original
  file is used.
  @param filename
  The path of a file to be added to the ZIP archive.