file_size_hi.putInt((int)(len >>> 32));
if (haveModtime)
file_modtime.putInt(file.modtime - pkg.default_modtime);
if (haveOptions)
file_options.putInt(file.options);
file.writeTo(file_bits.collectorStream());
if (verbose > 1)
Utils.log.fine("Wrote "+len+" bytes of "+file.name.stringValue());
}
if (verbose > 0)
Utils.log.info("Wrote "+numFiles+" resource files");