code: public void loadDocuments(String docsFile) throws IOException {
          ZipFile zipFile = new ZipFile(docsFile);
          Enumeration<? extends ZipEntry> entries = zipFile.entries();
  
          int numDocs = 0;
          int numDesigns = 0;
  
          while (entries.hasMoreElements()) {
              ZipEntry ent = entries.nextElement();
              String fName = ent.getName();
              InputStream is = zipFile.getInputStream(ent);
              String contents = ReaderUtils.fromStream(is);
  
              Matcher mIsDoc = ptnDOCUMENT.matcher(fName);
  
              if (mIsDoc.matches()) {
                  String docId = mIsDoc.group(1);
                  handleDocument(docId, contents);
                  numDocs++;
                  continue;
              }
  
              Matcher mIsDesign = ptnDESIGN.matcher(fName);
              if (mIsDesign.matches()) {
                  String designName = mIsDesign.group(1);
                  handleDesign(designName, contents);
                  numDesigns++;
              }
          }
          System.err.printf("Loaded %d documents. %d design documents%n", numDocs, numDesigns);
      }
docs: Load documents into the bucket
  
  @param docsFile The path to the ZIP file which contains the documents
  @throws IOException if an I/O error occurs