title: ZipEntry file name encoding?
body: <p>I cannot find any documentation on the encoding of file names in zip files. </p>
  
  <p>I have to pack file names with German umlauts into a zip, load it into an Android and unpack there. Then I have to refer to these files with names that are stored in another file. The latter is UTF-8, so there is no problem with umlauts. But I need to make sure, that the unzipped files have the proper names after unpacking on the Android.</p>
  
  <p>Currently, I am using info-zip on Windows 7 to pack the archive, and the API functions on the Android to unpack, and everything worked. However, if I use jar from the Java SDK or 7z for the packaging, the files come out on the Android with wrong names. This makes me wonder, if there is any proper solution for this at all (besides using antique ASCII file names only).</p>
  
  <p>I assume Android uses Unicode file names, so all I had to do is to force the zipper program to encode the file names in Unicode too. It this possible?</p>
  
  <p>Thanks for your time, RG</p>