docs: private MediaDetails getCacheMediaDetails() throws IOException {
          ZipEntry zipEntry = zipFile.getEntry(CACHE_DETAILS_ENTRY);
          if (zipEntry == null) {
              return null;  // No details available.
          }
          InputStream is = zipFile.getInputStream(zipEntry);
          try {
              DataInputStream dis = new DataInputStream(is);
              try {
                  byte[] detailBytes = new byte[(int)zipEntry.getSize()];
                  dis.readFully(detailBytes);
                  return new MediaDetails(detailBytes, detailBytes.length);
              } finally {
                  dis.close();
              }
          } finally {
              is.close();
          }
      }