private boolean downloadFile(String sourceFilenameBase, File destinationFile)
      throws IOException {
    try {
      return downloadGzippedFileHttp(new URL(CaptureActivity.DOWNLOAD_BASE + sourceFilenameBase + 
          ".gz"), 
          destinationFile);
    } catch (MalformedURLException e) {
      throw new IllegalArgumentException("Bad URL string.");
    }
  }
Download a file from the site specified by DOWNLOAD_BASE, and gunzip to the given destination.

@param sourceFilenameBase
         Name of file to download, minus the required ".gz" extension
@param destinationFile
         Name of file to save the unzipped data to, including path
@return True if download and unzip are successful
@throws IOException
OCRTest/src/main/java/edu/sfsu/cs/orange/ocr/OcrInitAsyncTask.java