rem: var fInStream = new java.io.BufferedInputStream(new java.io.FileInputStream(f), f.length()); 
add: var fInStream = new java.io.BufferedInputStream(new java.io.FileInputStream(f)); 
context:     var addFile = function(zOutStream, f, level, pathPrefix) {        var fInStream = new java.io.BufferedInputStream(new java.io.FileInputStream(f), f.length());        buf = new java.lang.reflect.Array.newInstance(java.lang.Byte.TYPE, f.length());        fInStream.read(buf, 0, f.length());        var name = new java.lang.StringBuffer();        if (pathPrefix) {            // append clean pathPrefix to name buffer            var st = new java.util.StringTokenizer(pathPrefix, "\\/");            while (st.hasMoreTokens()) {                name.append(st.nextToken());                name.append("/");            }        }        name.append(f.getName());        var entry = new java.util.zip.ZipEntry(name.toString());        entry.setSize(f.length());        entry.setTime(f.lastModified());        zOutStream.setLevel(level);        zOutStream.putNextEntry(entry);        zOutStream.write(buf, 0, buf.length);        zOutStream.closeEntry();        fInStream.close();        return true;    };
meta: 2504	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2504/c82daee623d67d0ea0b768f33031e1a98c0e53f2/Zip.js/clean/helma/Zip.js