in = this.getClass().getClassLoader().getResourceAsStream(in_file);
readEntriesOld(in);
raf = new RandomAccessFile(out_file1, "rw");
raf.seek(0);
in = new RandomAccessFileInputStream(raf);
pbin = new ByteCountingPushBackInputStream(in, 16);
reader = new GzipReader(pbin);
readEntries(reader);
pbin.close();
raf = new RandomAccessFile(out_file2, "rw");
raf.seek(0);
in = new RandomAccessFileInputStream(raf);
pbin = new ByteCountingPushBackInputStream(in, 16);
reader = new GzipReader(pbin, 8192);
readEntries(reader);
pbin.close();
} catch (IOException e) {