code: synchronized Entry getZipIndexEntry(RelativePath path) {
          try {
              checkIndex();
              DirectoryEntry de = directories.get(path.dirname());
              String lookFor = path.basename();
              return (de == null) ? null : de.getEntry(lookFor);
          }
          catch (IOException e) {
              return null;
          }
      }
docs: Returns the ZipFileIndexEntry for a path, if there is one.