code: public void loadClassifier(File file, Properties props) throws ClassCastException, IOException,
        ClassNotFoundException {
      Timing.startDoing("Loading classifier from " + file.getAbsolutePath());
      BufferedInputStream bis;
      if (file.getName().endsWith(".gz")) {
        bis = new BufferedInputStream(new GZIPInputStream(new FileInputStream(file)));
      } else {
        bis = new BufferedInputStream(new FileInputStream(file));
      }
      loadClassifier(bis, props);
      bis.close();
      Timing.endDoing();
    }
docs: Loads a classifier from the file specified. If the file's name ends in .gz,
  uses a GZIPInputStream, else uses a regular FileInputStream. This method
  closes the File when done.
  
  @param file
  Loads a classifier from this file.
  @param props
  Properties in this object will be used to overwrite those
  specified in the serialized classifier
  
  @throws IOException
  If there are problems accessing the input stream
  @throws ClassCastException
  If there are problems interpreting the serialized data
  @throws ClassNotFoundException
  If there are problems interpreting the serialized data