static File unpackZipLibrary(S snippetID) {
  File zip = loadLibrary(snippetID);
  File dir = javaxCodeDir("Unpackaged Zip Snippets/" + psI(snippetID));
  zip2dir_overwriteIfDifferentSize(zip, dir);
  ret dir;
}