print("using MIN FILE %s\n", minfile);
if (str.length > 0) {
if (this.targetStream != null) {
- this.targetStream.write("//" + file + "\n");
- this.targetStream.write(str + "\n");
+ this.targetStream.write(("//" + file + "\n").data);
+ this.targetStream.write((str + "\n").data);
} else {
this.out += "//" + file + "\n";