code: String getZipFilePath() {
          return packageRootPrefix.isEmpty() ? zipFilePath
                  : zipFilePath + "!/" + packageRootPrefix.substring(0, packageRootPrefix.length() - 1);
      }
docs: Get the zipfile path.
  
  @return the path of the zipfile, including any package root.