{filelink=14}

import java.io.*;
import java.util.zip.*;

public class GZipper {

  public final static String GZIP_EXTENSION = ".gz";

  public static void main(String[] argv)
  {

      String files[]={"c:/test.txt","c:/test2.txt"}; // La liste des fichiers à compresser
    for (int i = 0; i < files.length; i++) {
      try {
        InputStream fin = new FileInputStream(files[i]);
        OutputStream fout = new FileOutputStream(files[i] + GZIP_EXTENSION);
        // Zipper le fichier dans le dossier local
        GZIPOutputStream gzout = new GZIPOutputStream(fout);
        for (int c = fin.read(); c != -1; c = fin.read()) {
          gzout.write(c);
        }
        gzout.close();
      }
      catch (IOException ex) {
        System.err.println(ex);
      }
    }
  }
}