long start = System.currentTimeMillis();
        public void run() {            long start = System.currentTimeMillis();            try {                GZIPOutputStream zip = new GZIPOutputStream(new FileOutputStream(temp));                BufferedInputStream in = new BufferedInputStream(new FileInputStream(file));                byte[] b = new byte[1024];                int len = 0;                while ((len = in.read(b, 0, 1024)) != -1) {                    zip.write(b, 0, len);                }                zip.close();                in.close();                file.delete();                temp.renameTo(file);            } catch (Exception e) {                System.err.println(e.toString());            }        }