int bufSize = Constants.defaultFileBufsize;
int bufSize = Constants.defaultFileBufsize * 10;
  public static ModelCollection loadModelCollection(String objectInputFilename)    throws ClassNotFoundException, IOException, OptionalDataException {    FileInputStream fi = new FileInputStream(objectInputFilename);    int bufSize = Constants.defaultFileBufsize;    BufferedInputStream bfi = new BufferedInputStream(fi, bufSize);    ObjectInputStream ois = new ObjectInputStream(bfi);    System.err.println("\nLoading derived counts from object file \"" +		       objectInputFilename + "\":");    return loadModelCollection(ois);  }