docs: private List getResources(ZipFile file, String root)
      {
          List resourceNames = new ArrayList();
          Enumeration e = file.entries();
          while (e.hasMoreElements())
          {
              ZipEntry entry = (ZipEntry) e.nextElement();
              String name = entry.getName();
              if (name.startsWith(root)
                  && !(name.indexOf('/') > root.length())
                  && !entry.isDirectory())
              {
                  // Calling File.getPath() cleans up the path so that it's using
                  // the proper path separators for the host OS
                  name = new File(name).getPath();
                  resourceNames.add(name);
              }
          }
          return resourceNames;
      }