title: How to extract a single file from a remote archive file?
body: <p>Given</p>
  
  <ol>
  <li>URL of an archive (e.g. a zip file)</li>
  <li>Full name (including path) of a file inside that archive</li>
  </ol>
  
  <p>I'm looking for a way (preferably in Java) to create a local copy of that file, <strong>without downloading the entire archive first</strong>.</p>
  
  <p>From my (limited) understanding it should be possible, though I have no idea how to do that. I've been using <a href="https://truezip.dev.java.net/" rel="noreferrer">TrueZip</a>, since it seems to support a large variety of archive types, but I have doubts about its ability to work in such a way. Does anyone have any experience with that sort of thing?</p>
  
  <p><strong>EDIT:</strong> being able to also do that with tarballs and zipped tarballs is also important for me.</p>