* @param compression
* true if the files are gzipped.
*/
public WARCDocumentCollection(String[] file,
int bufferSize, Compression compression, File metadataFile) throws IOException {
super(file, new HTMLDocumentFactory(), bufferSize, compression, metadataFile);
}